equal
deleted
inserted
replaced
5 * Institute for Softwaretechnology, Graz University of Technology, Austria. |
5 * Institute for Softwaretechnology, Graz University of Technology, Austria. |
6 */ |
6 */ |
7 package isac.bridge.xml; |
7 package isac.bridge.xml; |
8 |
8 |
9 import isac.bridge.xml.TestsDATA; // DataTypes.scala |
9 import isac.bridge.xml.TestsDATA; // DataTypes.scala |
10 import info.hupel.isabelle.api.XML; |
10 import edu.tum.cs.isabelle.api.XML; |
11 import junit.framework.TestCase; |
11 import junit.framework.TestCase; |
12 |
12 |
13 /** |
13 /** |
14 * @author Walther Neuper Aug 18, 2015 |
14 * @author Walther Neuper Aug 18, 2015 |
15 * TODO |
15 * TODO |