[Docs] Start migration guide

config/naming.sty

@@ -59,7 +59,7 @@
 \newcommand{\taskShortNamingEN}{Task}
 \newcommand{\usageShortNamingEN}{Usage}
 \newcommand{\recallShortNamingEN}{Recall}
-\newcommand{\propertiesShortNamingEN}{Prop.}
+\newcommand{\propertiesShortNamingEN}{P}
 
 \newcommand{\definitionShortNamingDE}{D}
 \newcommand{\theoremShortNamingDE}{T}
@@ -78,4 +78,4 @@
 \newcommand{\taskShortNamingDE}{Aufg.}
 \newcommand{\usageShortNamingDE}{Nutz.}
 \newcommand{\recallShortNamingDE}{Rep.}
-\newcommand{\propertiesShortNamingDE}{Eig.}
+\newcommand{\propertiesShortNamingDE}{E}