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

Some english strings + layout changes

Browse Source
This commit is contained in:
Moritz Dieing 2021-02-19 13:37:07 +01:00
parent 6fa165b602
commit 9c38621c34
3 changed files with 28 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
frontend/styles/view/start-page.css
View File

@ -26,7 +26,8 @@
}
#controlPanel {
margin-top: 10px;
margin-top: auto;
margin-bottom: 15px;
}
#startPage {
@ -35,8 +36,11 @@
justify-content: center;
align-items: center;
overflow: hidden;
height: 100%;
width: 100%;
}
#slideShow {
height: 500px;
width: 100vw;
}

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

@ -96,7 +96,7 @@ zu sehen.
root.image7=/carousel/OpenExportDialog.png
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 \
root.text8=In dem Dialogfenster sind der Permalink zur aktuellen Seite, der Latex-Code des Baums und die im Code \
verwendeten Pakete aufgelistet.
root.absLetLatex=\

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

@ -69,6 +69,28 @@ root.UNEXPECTED_TOKEN=The input does not match the syntax specified in the info
root.UNEXPECTED_CHARACTER=The input contains a characters which is not allowed at this position.
root.wrongCharacter=Wrong character: \u0020
root.position=At Position: \u0020
root.slideExp=TODO
root.linkText=Further information can be found \u0020
root.link=https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
root.here=here
root.image1=/carousel/EnterTerm.png
root.text1=The term \u03BBx.x is entered into the input field.
root.image2=/carousel/OpenTypeAssumptions.png
root.text2=The type assumptions button is clicked to open up a dialog to enter type assumptions.
root.image3=/carousel/EnterTypeAssumptions.png
root.text3=A type assumption with variable "x" and type "int" is being entered.
root.image4=/carousel/ClickTypeButton.png
root.text4=The type button is clicked to start the type inference algorithm.
root.image5=/carousel/NavigateTree.png
root.text5=The buttons at the bottom of the website can be used to navigate through the steps of the algorithm.
root.image6=/carousel/EndOfTree.png
root.text6=At the end of the algorithm the MGU, the final type and the final tree of the entered term are being \
displayed.
root.image7=/carousel/OpenExportDialog.png
root.text7=The share button is clicked to open up the corresponding dialog.
root.image8=/carousel/UseExportDialog.png
root.text8=The dialog contains a permalink to the current page, the LaTeX-code of the tree and the packages needed \
to compile the code.
root.absLetLatex=\
\\begin{prooftree}\