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

Typo

Browse Source
This commit is contained in:
Moritz Dieing 2021-02-25 19:59:17 +01:00
parent f86e38e305
commit bb7954d393
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -35,7 +35,7 @@ root.lastStepButton=Letzter-Schritt-Knopf
root.shareButton=Teilen-Knopf
root.helpDrawer=Durch Benutzen des Knopfs öffnet sich der Drawer. \
Im Drawer ist eine Auflistung aller Typinferenzregeln zu finden. \
Außerdem kann mit dem Kopieren-Knopfs der Latex-Code der Regel in die Zwischenablage kopiert werden.
Außerdem kann mit dem Kopieren-Knopf der Latex-Code der Regel in die Zwischenablage kopiert werden.
root.helpExample=Durch Benutzen des Knopfs öffnet sich der Beispiel-Dialog. \
Nach Anklicken wird der jeweilige Beispielterm in das Eingabefeld eingefügt. \
Der Term kann nun nach Belieben angepasst oder direkt typisiert werden.