equal
deleted
inserted
replaced
121 Path path = java.nio.file.Paths.get // |
121 Path path = java.nio.file.Paths.get // |
122 ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"); |
122 ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"); |
123 String vers = "2018"; |
123 String vers = "2018"; |
124 |
124 |
125 JResources res = JResources.dumpIsabelleResources(); |
125 JResources res = JResources.dumpIsabelleResources(); |
126 Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable("2018")); |
126 Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable(vers)); |
127 Environment env = JSetup.makeEnvironment(setup, res); |
127 Environment env = JSetup.makeEnvironment(setup, res); |
128 //Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); //fromBuiltin is undefined |
128 //Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); //fromBuiltin is undefined |
129 JSystem sys = JSystem.create(env, config); |
129 JSystem sys = JSystem.create(env, config); |
130 |
130 |
131 /*PIDE*/connection_to_kernel_ = sys; |
131 /*PIDE*/connection_to_kernel_ = sys; |