arnekeller/Typicalc
1
0
Fork 0
mirror of https://gitlab.kit.edu/uskyk/typicalc.git synced 2024-11-08 18:30:42 +00:00
Code Issues Packages Projects Releases Wiki Activity

improved texts

Browse Source
This commit is contained in:
ucrhh 2021-03-05 12:08:29 +01:00
parent 50a5662837
commit 7a689d12a9
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/main/resources/language/translation_de.properties
View File

@ -3,7 +3,7 @@ root.save=Speichern
root.copyLatex=Kopiere Latex-Code root.copyLatex=Kopiere Latex-Code
root.selectExample=Beispiel auswählen: root.selectExample=Beispiel auswählen:
root.typeInfer=Typisieren root.typeInfer=Typisieren
root.operatingHelp=Bedienhilfen root.operatingHelp=Hilfe
root.inputSyntax=Eingabe-Syntax root.inputSyntax=Eingabe-Syntax
root.inferenceRules=Ableitungsregeln root.inferenceRules=Ableitungsregeln
root.absRule=Abs-Regel root.absRule=Abs-Regel
@ -70,7 +70,7 @@ Typherleitungsbaums des eingegebenen Terms und die benötigen Pakete zum Einbind
Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \ Zusätzlich dazu enthält der Dialog einen Permalink zur aktuellen Seite, der sowohl den Term als auch die Typannahmen \
kodiert. kodiert.
root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt. root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt.
root.tooFewTokensHelp=Überprüfen Sie, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen. root.tooFewTokensHelp=Überprüfe, ob alle Let-, Abs- und App-Terme über die nötigen Argumente verfügen.
root.UNEXPECTED_TOKEN=Der Term entspricht nicht der im Info-Dialog spezifizierten Syntax! root.UNEXPECTED_TOKEN=Der Term entspricht nicht der im Info-Dialog spezifizierten Syntax!
root.UNEXPECTED_CHARACTER=Der Term enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist! root.UNEXPECTED_CHARACTER=Der Term enhält ein Zeichen, welches an dieser Stelle nicht erlaubt ist!
root.wrongCharacter=Falsches Zeichen: \u0020 root.wrongCharacter=Falsches Zeichen: \u0020
@ -79,7 +79,7 @@ root.slideExp=Typicalc ist eine Anwendung zur Visualisierung von Typinferenz. In
Beispielszenario mit den wichtigsten Funktionen der Website vorgeführt. Das relevante Bedienelement ist jeweils mit \ Beispielszenario mit den wichtigsten Funktionen der Website vorgeführt. Das relevante Bedienelement ist jeweils mit \
einem roten Rahmen hervorgehoben. Zwischen einzelnen Slides kann mithilfe der Knöpfe am unteren Ende der Seite \ einem roten Rahmen hervorgehoben. Zwischen einzelnen Slides kann mithilfe der Knöpfe am unteren Ende der Seite \
navigiert werden. navigiert werden.
root.linkText=Weitere Informationen zur Typinferenz finden Sie \u0020 root.linkText=Weitere Informationen zur Typinferenz findest du \u0020
root.link=https://de.wikipedia.org/wiki/Typinferenz_nach_Hindley-Milner root.link=https://de.wikipedia.org/wiki/Typinferenz_nach_Hindley-Milner
root.here=hier root.here=hier
root.image1=/carousel/EnterTerm.png root.image1=/carousel/EnterTerm.png

2
src/main/resources/language/translation_en.properties
View File

@ -3,7 +3,7 @@ root.save=Save
root.copyLatex=Copy latex code root.copyLatex=Copy latex code
root.selectExample=Select example: root.selectExample=Select example:
root.typeInfer=Type root.typeInfer=Type
root.operatingHelp=Operating Help root.operatingHelp=Help
root.inputSyntax=Input Syntax root.inputSyntax=Input Syntax
root.inferenceRules=Inference Rules root.inferenceRules=Inference Rules
root.absRule=Abs rule root.absRule=Abs rule