equal
deleted
inserted
replaced
1 package isac.bridge; |
1 package isac.bridge; |
2 |
2 |
3 import info.hupel.isabelle.*; |
3 import edu.tum.cs.isabelle.*; |
4 import info.hupel.isabelle.api.XML; |
4 import edu.tum.cs.isabelle.api.XML; |
5 |
5 |
6 public class IsacOperations { |
6 public class IsacOperations { |
7 // for Test_PIDE.java |
7 // for Test_PIDE.java |
8 public static final Operation<String, String> HELLO = |
8 public static final Operation<String, String> HELLO = |
9 IsacOperationsScala.Hello(); |
9 IsacOperationsScala.Hello(); |