mirror of
https://gitlab.kit.edu/uskyk/typicalc.git
synced 2024-11-08 18:30:42 +00:00
fix typo
This commit is contained in:
parent
06e6135a3b
commit
b7e519151c
@ -79,7 +79,7 @@ root.TOO_FEW_TOKENS=Falsche Eingabe! Der Term endet abrupt.
|
|||||||
root.tooFewTokensHelp=Überprüfe, 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!
|
||||||
error.heading=Syntaktisch flasche Eingabe!
|
error.heading=Syntaktisch falsche Eingabe!
|
||||||
root.wrongCharacter=Falsches Zeichen: \u0020
|
root.wrongCharacter=Falsches Zeichen: \u0020
|
||||||
root.position=An Position: \u0020
|
root.position=An Position: \u0020
|
||||||
root.slideExp=Typicalc ist eine Anwendung zur Visualisierung von Typinferenz. In der folgenden Slideshow wird ein \
|
root.slideExp=Typicalc ist eine Anwendung zur Visualisierung von Typinferenz. In der folgenden Slideshow wird ein \
|
||||||
|
Loading…
Reference in New Issue
Block a user