equal
deleted
inserted
replaced
3 import isac.gui.mawen.syntax.XSyntax |
3 import isac.gui.mawen.syntax.XSyntax |
4 import isac.gui.mawen.syntax.Ast |
4 import isac.gui.mawen.syntax.Ast |
5 import isac.gui.mawen.termtree.TreeNodeContent |
5 import isac.gui.mawen.termtree.TreeNodeContent |
6 import javax.swing.tree.DefaultMutableTreeNode |
6 import javax.swing.tree.DefaultMutableTreeNode |
7 |
7 |
8 import info.hupel.isabelle.api.XML |
8 import edu.tum.cs.isabelle.api.XML |
9 import info.hupel.isabelle.pure._ |
9 import edu.tum.cs.isabelle.pure._ |
10 import info.hupel.isabelle._ // for Codec |
10 import edu.tum.cs.isabelle._ // for Codec |
11 |
11 |
12 object Util { |
12 object Util { |
13 |
13 |
14 def int(s: String): Integer = new Integer(s) |
14 def int(s: String): Integer = new Integer(s) |
15 |
15 |