Mehr Platzhalter-Klassen

src/main/java/edu/kit/typicalc/model/step/AbsStepDefault.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class AbsStepDefault {
+}

src/main/java/edu/kit/typicalc/model/step/AbsStepWithLet.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class AbsStepWithLet {
+}

src/main/java/edu/kit/typicalc/model/step/AppStepDefault.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class AppStepDefault {
+}

src/main/java/edu/kit/typicalc/model/step/ConstStepDefault.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class ConstStepDefault {
+}

src/main/java/edu/kit/typicalc/model/step/LetStepDefault.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class LetStepDefault {
+}

src/main/java/edu/kit/typicalc/model/step/VarStepDefault.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.step;
+
+public class VarStepDefault {
+}

src/main/java/edu/kit/typicalc/model/type/TypeVisitor.java

@@ -0,0 +1,4 @@
+package edu.kit.typicalc.model.type;
+
+public interface TypeVisitor {
+}

src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/LatexCreator.java

@@ -2,7 +2,15 @@ package edu.kit.typicalc.view.content.typeinferencecontent;
 
 
 import edu.kit.typicalc.model.TypeInfererInterface;
+import edu.kit.typicalc.model.step.AbsStepDefault;
+import edu.kit.typicalc.model.step.AbsStepWithLet;
+import edu.kit.typicalc.model.step.AppStepDefault;
+import edu.kit.typicalc.model.step.ConstStepDefault;
+import edu.kit.typicalc.model.step.LetStepDefault;
 import edu.kit.typicalc.model.step.StepVisitor;
+import edu.kit.typicalc.model.step.VarStepDefault;
+import edu.kit.typicalc.model.term.TermVisitor;
+import edu.kit.typicalc.model.type.TypeVisitor;
 
 /**
  * Generates LaTeX-code from a TypeInfererInterface object. Two mostly independent pie-

src/main/java/edu/kit/typicalc/view/content/typeinferencecontent/ShareDialog.java

@@ -14,7 +14,7 @@ public class ShareDialog extends Dialog implements LocaleChangeObserver {
      * to the String that is passed as corresponding parameter.
      * @param url a permalink to share with other users
      * @param latexPackages the needed LaTeX-packages to use the displayed mathmatics
-     * in other LaTeX documents. Should be in the form „\usepackage<package>“
+     * in other LaTeX documents. Should be in the form „\\usepackage<package>“
      * @param latexCode LaTeX code for users to copy into their own LaTeX document(s)
      */
     protected ShareDialog(String url, String latexPackages, String latexCode) {