1.1 --- a/isac-java/src/java/isac/bridge/ToKernel.scala	Tue Dec 18 08:05:43 2018 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,25 +0,0 @@
     1.4 -//cp from Hello_PIDE.scala, two unresolved problems
     1.5 -
     1.6 -import info.hupel.isabelle.Platform
     1.7 -import info.hupel.isabelle.api._
     1.8 -import info.hupel.isabelle.japi._
     1.9 -import info.hupel.isabelle.setup._
    1.10 -import java.nio.file.Path;
    1.11 -
    1.12 -class ToKernel {
    1.13 -
    1.14 -  //these two will go into a property file:
    1.15 -  val path_str = "/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"
    1.16 -  val version_str = "2018"
    1.17 -  
    1.18 -  val path = java.nio.file.Paths.get(path_str)	
    1.19 -  val platform = Platform.guess.getOrElse(sys.error(Setup.UnknownPlatform.explain))
    1.20 -  val version = Version.Stable(version_str)
    1.21 -    
    1.22 -  val setup = Setup(path, platform, version)
    1.23 -  val res = Resources.dumpIsabelleResources().right.get
    1.24 -  val config = Configuration.simple("Protocol")
    1.25 -  val env = setup.makeEnvironment(res, Nil)           //problem with scheduler
    1.26 -  
    1.27 -  def connect : JSystem = System.create(env, config)  //problem with types
    1.28 -}
    1.29 \ No newline at end of file