1.1 --- a/isac-java/src/java/isac/bridge/BridgeMain.java	Mon Dec 17 12:58:12 2018 +0100
     1.2 +++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Mon Dec 17 13:02:16 2018 +0100
     1.3 @@ -80,21 +80,19 @@
     1.4          new ClientList();
     1.5          setUpBridgeLog();
     1.6          //*TTY*/startThreadsFirstTime();
     1.7 -        /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
     1.8 -        //see libisabelle/modules/examples/src/main/java/edu/tum/cs/isabelle/examples/Hello_PIDE.java
     1.9 -/* cp from
    1.10 +/* cp from last working version:
    1.11   *  https://hg.risc.uni-linz.ac.at/wneuper/isac/file/84f1ca6a6dd9/isac-java/src/java/isac/bridge/BridgeMain.java#l85
    1.12      85         log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
    1.13      86         Setup setup = new Setup(Paths.get(isabelle_home), JPlatform.guess(),
    1.14      87           new Version("2015"), Setup.defaultPackageName());
    1.15 -    88         Environment env = JSetup.makeEnvironment(setup); // ohne Duration
    1.16 +    88         Environment env = JSetup.makeEnvironment(setup); // without Duration
    1.17      89         Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
    1.18      90         JSystem sys = JSystem.create(env, config);
    1.19      92         
    1.20      93         connection_to_kernel_ = sys;
    1.21      94         log(1, "<--ISA: connection established");
    1.22   */
    1.23 -/*         
    1.24 +/* cp from downloaded libisabelle, current version:
    1.25  package info.hupel.isabelle.examples.java;
    1.26  
    1.27  import java.nio.file.Path;
    1.28 @@ -117,6 +115,8 @@
    1.29    }
    1.30  }
    1.31   */
    1.32 +        /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
    1.33 +
    1.34          JResources res = JResources.dumpIsabelleResources();
    1.35          Path path = java.nio.file.Paths.get
    1.36            ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac");