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

Update translations

Browse Source
This commit is contained in:
Arne Keller 2021-07-10 12:35:49 +02:00
parent 660fe2b5d1
commit 8be024eb65
2 changed files with 10 additions and 10 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

@ -101,8 +101,6 @@ help.typicalcInfo=\
Thomas Heinen<br>\
Arne Keller<br>\
Johanna Stuber<br>
root.TOO_FEW_TOKENS=Falsche Eingabe! Die Eingabe endet abrupt.
error.tooFewTokensHelp=unerwartetes Ende der Eingabe
root.UNEXPECTED_TOKEN=Die Eingabe entspricht nicht der im Info-Dialog spezifizierten Syntax!
root.UNEXPECTED_CHARACTER=Die Eingabe enthält ein Zeichen, welches an dieser Stelle nicht erlaubt ist!
@ -113,6 +111,7 @@ error.wrongCharacter=Falsches Zeichen:\u0020
error.expectedToken=Erwartet: {0}
error.hint=Die Grammatiken, die die korrekte Syntax eines Terms und der Typannahmen beschreiben, \
sind auch über das Info-Symbol zu erreichen.
tokentype.UNIVERSAL_QUANTIFIER=Allquantor
tokentype.LAMBDA=λ
tokentype.VARIABLE=Variable
tokentype.LET=let
@ -123,7 +122,8 @@ tokentype.NUMBER=Zahl
tokentype.LEFT_PARENTHESIS=(
tokentype.RIGHT_PARENTHESIS=)
tokentype.DOT=.
tokentype.COMMA=.
tokentype.COMMA=,
tokentype.COLON=:
tokentype.EQUALS==
tokentype.ARROW=->
tokentype.EOF=Ende der Eingabe

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

@ -93,29 +93,29 @@ help.typicalcInfo=\
Thomas Heinen<br>\
Arne Keller<br>\
Johanna Stuber
root.TOO_FEW_TOKENS=Wrong input! The term ends abruptly.
error.tooFewTokensHelp=unexpected end of input
root.UNEXPECTED_TOKEN=The input does not match the syntax specified in the info dialog.
root.UNEXPECTED_CHARACTER=The input contains a character which is not allowed at this position.
error.heading=Input is syntactically wrong!
error.wrongCharacter=Wrong character:\u0020
error.termForError=Term:\u0020
error.typeAssumptionForError=Type Assumption:\u0020
error.typeAssumptionForError=Type assumption:\u0020
error.expectedToken=Expected: {0}
error.hint=The grammars describing the correct syntax of a term or a type assumption can also be reached \
via the info icon.
tokentype.UNIVERSAL_QUANTIFIER=universal quantifier
tokentype.LAMBDA=λ
tokentype.VARIABLE=Variable
tokentype.VARIABLE=variable
tokentype.LET=let
tokentype.IN=in
tokentype.TRUE=true
tokentype.FALSE=false
tokentype.NUMBER=Number
tokentype.NUMBER=number
tokentype.LEFT_PARENTHESIS=(
tokentype.RIGHT_PARENTHESIS=)
tokentype.DOT=.
tokentype.COMMA=.
tokentype.COMMA=,
tokentype.COLON=:
tokentype.EQUALS==
tokentype.ARROW=->
tokentype.EOF=End of input
@ -130,7 +130,7 @@ root.here=here
root.image0=/carousel/StartPage-english.jpg
root.text0=Use the buttons at the bottom of the page to navigate through the slideshow.
root.image1=/carousel/EnterTerm-english.jpg
root.text1=The term \u03BBx.x is entered into the input field.
root.text1=The term λx.x is entered into the input field.
root.image2=/carousel/OpenTypeAssumptions-english.jpg
root.text2=The type assumptions button is clicked to open up a dialog to enter type assumptions.
root.image3=/carousel/EnterTypeAssumptions-english.jpg