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

English version of error strings

Browse Source
This commit is contained in:
Moritz Dieing 2021-02-16 15:23:53 +01:00
parent cee2a964cc
commit 8c77bd62e5
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -60,6 +60,12 @@ entered term. The key combination "CTRL + right arrow key" also executes a click
root.helpShareButton=Clicking the share button opens up a dialog containing the LaTeX-code of the final inference \
tree and the packages needed to execute the LaTeX-code. In addition a permalink to the current page is provided. \
This link encodes the current term as well as the current type assumptions.
root.TOO_FEW_TOKENS=Wrong input! The term ends abruptly.
root.tooFewTokensHelp=Check if all Let-, Abs- and App-terms consist of the required arguments.
root.UNEXPECTED_TOKEN=The entered term does not match the syntax specified in the info dialog.
root.UNEXPECTED_CHARACTER=The contains a characters which is not allowed at this position.
root.wrongCharacter=Wrong character: \u0020
root.position=At Position: \u0020
root.absLetLatex=\
\\begin{prooftree}\