Fix translation encoding again

This commit is contained in:
Arne Keller 2021-02-13 09:51:10 +01:00
parent 288e954f3e
commit c49c1c4a23

View File

@ -23,9 +23,9 @@ root.addAssumption=Typannahme hinzufügen
root.deleteAll=Alle löschen root.deleteAll=Alle löschen
root.variable=Variable root.variable=Variable
root.type=Typ root.type=Typ
root.helpDrawer=Durch klicken des Knopfes öffnet sich der Drawer. \ root.helpDrawer=Durch Klicken des Knopfes öffnet sich der Drawer. \
Im Drawer ist eine Auflistung aller Typregeln zu finden. \ Im Drawer ist eine Auflistung aller Typregeln zu finden. \
Außerdem kann durch klicken des Kopieren-Knopfs der Latex-Code der Regel in die Zwischenablage kopiert werden. Außerdem kann durch klicken des Kopieren-Knopfs der Latex-Code der Regel in die Zwischenablage kopiert werden.
root.helpExample=Durch klicken des Knopfes öffnet sich der Beispiel-Dialog. \ root.helpExample=Durch klicken des Knopfes öffnet sich der Beispiel-Dialog. \
Nach Anklicken wird der jeweilige Beispielterm in das Eingabefeld eingefügt. \ Nach Anklicken wird der jeweilige Beispielterm in das Eingabefeld eingefügt. \
Der Term kann nun nach belieben angepasst oder direkt typisiert werden. Der Term kann nun nach belieben angepasst oder direkt typisiert werden.