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

Change slide texts

Browse Source
This commit is contained in:
Moritz Dieing 2021-02-19 12:42:46 +01:00
parent 9f8ab35ef1
commit 6fa165b602
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -82,19 +82,19 @@ root.here=hier
root.image1=/carousel/EnterTerm.png
root.text1=Der Term \u03BBx.x wird in das Textfeld eingegeben.
root.image2=/carousel/OpenTypeAssumptions.png
root.text2=Durch Betätingen des Typannahmen-Kopfs öffnet sich ein Fenster zum Eingeben von Typannahmen.
root.text2=Der Typannahmen-Knopf wird betätigt, um ein Fenster zur Eingabe von Typannahmen zu öffnen.
root.image3=/carousel/EnterTypeAssumptions.png
root.text3=Eine Typannahme mit Variable "x" und Typ "int" wird hinzugefügt.
root.image4=/carousel/ClickTypeButton.png
root.text4=Zum Starten des Typinferenz-Algorithmus wird der Typisieren-Knopf betätigt.
root.text4=Der Typisieren-Knopf wird betätigt, um den Typinferenzalgorithmus zu starten.
root.image5=/carousel/NavigateTree.png
root.text5=Mithilfe der Knöpfe am unteren Ende der Seite kann zwischen einzelenen Schritten des Algorithmus \
gewechselt werden.
root.text5=Die Knöpfe am unteren Ende der Seite werden verwendet, um zwischen einzelenen Schritten des Algorithmus \
zu wechseln.
root.image6=/carousel/EndOfTree.png
root.text6=Am Ende des Algorithmus sind der MGU, der finale Typ der Eingabe und der finale Herleitungsbaum \
zu sehen.
root.image7=/carousel/OpenExportDialog.png
root.text7=Durch Betätigen des Teilen-Knopfs wird das entsprechende Dialogfenster geöffnet.
root.text7=Der Teilen-Knopfs wird betätigt, um das entsprechende Dialogfenster zu öffnen.
root.image8=/carousel/UseExportDialog.png
root.text8=In dem Dialogfenster sind der Permalink zur aktuellen Seite, der Latex-Code und die im Code \
verwendeten Pakete aufgelistet.