wneuper/isac: comparison isac-java/src/java/isac/bridge/BridgeRMI.java

equal deleted inserted replaced

-:d9f9cfd09b0f
+:b4e3883d7b66
 import isac.util.formulae.ProblemID;
 import isac.util.parser.XMLParserDigest;
 import isac.util.tactics.SimpleTactic;
 import isac.util.tactics.Tactic;
 import isac.wsdialog.IContextProvider.ContextType;
-import info.hupel.isabelle.api.XML;
+import edu.tum.cs.isabelle.api.XML;
-import info.hupel.isabelle.japi.JSystem;
+import edu.tum.cs.isabelle.japi.JSystem;
 import java.io.BufferedReader;
 import java.io.IOException;
 import java.io.InputStreamReader;
 import java.io.PrintWriter;