equal
deleted
inserted
replaced
7 package isac.gui.mawen.syntax |
7 package isac.gui.mawen.syntax |
8 |
8 |
9 import isac.bridge.Isabelle_Isac |
9 import isac.bridge.Isabelle_Isac |
10 import isac.bridge.xml.DataTypes |
10 import isac.bridge.xml.DataTypes |
11 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
11 import isac.gui.mawen.syntax.Ast._ //"._" simplifies "Ast.Ast" to "Ast" |
12 import info.hupel.isabelle.japi._ // for JSystem |
12 import edu.tum.cs.isabelle.japi._ // for JSystem |
13 |
13 |
14 import junit.framework.TestCase |
14 import junit.framework.TestCase |
15 import org.junit.Assert._ |
15 import org.junit.Assert._ |
16 |
16 |
17 /** |
17 /** |