equal
deleted
inserted
replaced
1 package isac.gui.mawen.scalaterm; |
1 package isac.gui.mawen.scalaterm; |
2 |
2 |
3 import isac.bridge.Isabelle_Isac |
3 import isac.bridge.Isabelle_Isac |
4 import isac.bridge.xml.DataTypes |
4 import isac.bridge.xml.DataTypes |
5 import info.hupel.isabelle.pure._ // for Term |
5 import edu.tum.cs.isabelle.pure._ // for Term |
6 import info.hupel.isabelle._ // for Codec |
6 import edu.tum.cs.isabelle._ // for Codec |
7 import info.hupel.isabelle.japi._ // for JSystem |
7 import edu.tum.cs.isabelle.japi._ // for JSystem |
8 |
8 |
9 import junit.framework.TestCase |
9 import junit.framework.TestCase |
10 import org.junit.Assert._ |
10 import org.junit.Assert._ |
11 |
11 |
12 /** |
12 /** |