changeset 5239 | b4e3883d7b66 |
parent 5229 | 6bf0e95981e3 |
1.1 --- a/isac-java/src/java/isac/bridge/IsacOperations.java Tue Sep 22 14:33:32 2020 +0200 1.2 +++ b/isac-java/src/java/isac/bridge/IsacOperations.java Fri Mar 26 10:45:05 2021 +0100 1.3 @@ -1,7 +1,7 @@ 1.4 package isac.bridge; 1.5 1.6 -import info.hupel.isabelle.*; 1.7 -import info.hupel.isabelle.api.XML; 1.8 +import edu.tum.cs.isabelle.*; 1.9 +import edu.tum.cs.isabelle.api.XML; 1.10 1.11 public class IsacOperations { 1.12 // for Test_PIDE.java