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

Consistent latex export

Browse Source
This commit is contained in:
Arne Keller 2021-03-11 08:32:19 +01:00
parent 1ee86c5c32
commit 3c0347492a
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/latexcreator/LatexCreatorConstants.java
View File

@ -18,8 +18,8 @@ public final class LatexCreatorConstants {
protected static final String CONST = "Const";
protected static final String LET = "let";
protected static final String IN = "in";
protected static final String MGU = "mgu";
protected static final String UNIFY = "unify";
protected static final String MGU = "\\textit{mgu}";
protected static final String UNIFY = "\\textit{unify}";
protected static final String CONSTRAINT_SET = "C";
protected static final String TYPE_ABSTRACTION = "ta";

5
src/main/resources/language/general.properties
View File

@ -85,6 +85,5 @@ share.neededPackagesTree=\
\\usepackage{bussproofs}\n\
\\usepackage{amsmath}
share.neededPackagesUnification=\
\\usepackage{amsmath}\
\\usepackage{xcolor}\
\\usepackage{stix}
\\usepackage{xcolor}\n\
\\usepackage{amsmath}