# HG changeset patch
# User Walther Neuper <wneuper@ist.tugraz.at>
# Date 1536830070 -7200
# Node ID ed1bee7c6784488711a60164aebb53890ac0c966
# Parent  dbe40e617dc8453cf48f5eac02384df1c0f577de
------ connection to new math-engine on Isabelle2018: question to Lars

diff -r dbe40e617dc8 -r ed1bee7c6784 isac-java/src/java/isac/bridge/BridgeMain.java
--- a/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Sep 12 17:07:47 2018 +0200
+++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Thu Sep 13 11:14:30 2018 +0200
@@ -81,8 +81,10 @@
         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
         JResources res = JResources.dumpIsabelleResources();
-        Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
+        Configuration config = Configuration.simple("Protocol");
+//        Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
         Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res);
         JSystem sys = JSystem.create(env, config);