# HG changeset patch
# User Walther Neuper <wneuper@ist.tugraz.at>
# Date 1545048136 -3600
# Node ID 22aabc469ebbd6c6043e3dda9ae15f95d3a7090e
# Parent  f9e91d4ee161b26cefa08161ae8d259f305fd1ef
tuned

diff -r f9e91d4ee161 -r 22aabc469ebb isac-java/src/java/isac/bridge/BridgeMain.java
--- a/isac-java/src/java/isac/bridge/BridgeMain.java	Mon Dec 17 12:58:12 2018 +0100
+++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Mon Dec 17 13:02:16 2018 +0100
@@ -80,21 +80,19 @@
         new ClientList();
         setUpBridgeLog();
         //*TTY*/startThreadsFirstTime();
-        /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
-        //see libisabelle/modules/examples/src/main/java/edu/tum/cs/isabelle/examples/Hello_PIDE.java
-/* cp from
+/* cp from last working version:
  *  https://hg.risc.uni-linz.ac.at/wneuper/isac/file/84f1ca6a6dd9/isac-java/src/java/isac/bridge/BridgeMain.java#l85
     85         log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
     86         Setup setup = new Setup(Paths.get(isabelle_home), JPlatform.guess(),
     87           new Version("2015"), Setup.defaultPackageName());
-    88         Environment env = JSetup.makeEnvironment(setup); // ohne Duration
+    88         Environment env = JSetup.makeEnvironment(setup); // without Duration
     89         Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
     90         JSystem sys = JSystem.create(env, config);
     92         
     93         connection_to_kernel_ = sys;
     94         log(1, "<--ISA: connection established");
  */
-/*         
+/* cp from downloaded libisabelle, current version:
 package info.hupel.isabelle.examples.java;
 
 import java.nio.file.Path;
@@ -117,6 +115,8 @@
   }
 }
  */
+        /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
+
         JResources res = JResources.dumpIsabelleResources();
         Path path = java.nio.file.Paths.get
           ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac");