equal
deleted
inserted
replaced
79 bridge_logger_ = new BridgeLogger(log_path); |
79 bridge_logger_ = new BridgeLogger(log_path); |
80 new ClientList(); |
80 new ClientList(); |
81 setUpBridgeLog(); |
81 setUpBridgeLog(); |
82 //*TTY*/startThreadsFirstTime(); |
82 //*TTY*/startThreadsFirstTime(); |
83 /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
83 /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
|
84 //see libisabelle/modules/examples/src/main/java/edu/tum/cs/isabelle/examples/Hello_PIDE.java |
84 JResources res = JResources.dumpIsabelleResources(); |
85 JResources res = JResources.dumpIsabelleResources(); |
85 Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); |
86 Configuration config = Configuration.simple("Protocol"); |
|
87 // Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); |
86 Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res); |
88 Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res); |
87 JSystem sys = JSystem.create(env, config); |
89 JSystem sys = JSystem.create(env, config); |
88 |
90 |
89 /*PIDE*/connection_to_kernel_ = sys; |
91 /*PIDE*/connection_to_kernel_ = sys; |
90 /*PIDE*/log(1, "<--ISA: connection established"); |
92 /*PIDE*/log(1, "<--ISA: connection established"); |