Fix encoding of resource file

This commit is contained in:
Arne Keller 2021-02-05 19:18:31 +01:00
parent 0dc3e47695
commit 3fb9853cb3

View File

@ -1,11 +1,11 @@
root.close=Schlie\u00dfen
root.close=Schließen
root.copyLatex=Kopiere Latex-Code
root.selectExample=Beispiel auswählen:
root.selectExample=Beispiel auswählen:
root.typeInfer=Typisieren
root.operatingHelp=Bedienhilfen
root.inputSyntax=Eingabe-Syntax
root.inferenceRules=Ableitungsregeln
root.overlongInput=Die maximale Länge der Eingabe beträgt 1000 Zeichen!
root.overlongInput=Die maximale Länge der Eingabe beträgt 1000 Zeichen!
root.absRule=Abs-Regel
root.appRule=App-Regel
root.varRule=Var-Regel
@ -16,7 +16,7 @@ root.varRuleLet=Var-Regel mit Let
root.german=Deutsch
root.english=Englisch
root.selectLanguage=Sprache
root.infoExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms:
root.infoExplanation=Die folgende Grammatik beschreibt den Aufbau eines gültigen Terms:
root.absLetLatex=\
\\begin{prooftree}\
@ -64,4 +64,4 @@ demo-tree=\
\n\
\\LeftLabel{Abs}\n\
\\UnaryInfC{$\\ltype{}{\\la{f}{\\la{x}{\\lapp{\\lv{f}}{\\left( \\lapp{\\lv{f}}{\\lv{x}} \\right) }}}}{\\alpha_1}$}\n\
\\end{prooftree}
\\end{prooftree}