# HG changeset patch
# User wenzelm
# Date 1233079096 -3600
# Node ID 7d1d13750890b4fb5e534cbd7bf92c6617034d7d
# Parent  01021d160be7bd957f95aafe6d85b2177ad4b150
added Isabelle.default_logic;

diff -r 01021d160be7 -r 7d1d13750890 src/Tools/jEdit/src/jedit/Plugin.scala
--- a/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jan 27 18:53:12 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/Plugin.scala	Tue Jan 27 18:58:16 2009 +0100
@@ -39,6 +39,12 @@
   var system: IsabelleSystem = null
   def symbols = system.symbols
 
+  // settings
+  def default_logic = {
+    val logic = Isabelle.Property("logic")
+    if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC")
+  }
+
   // plugin instance
   var plugin: Plugin = null
 
diff -r 01021d160be7 -r 7d1d13750890 src/Tools/jEdit/src/jedit/ProverSetup.scala
--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Tue Jan 27 18:53:12 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Tue Jan 27 18:58:16 2009 +0100
@@ -34,8 +34,7 @@
   val output_text_view = new JTextArea
 
   def activate(view: View) {
-    val logic = Isabelle.Property("logic")
-    prover.start(if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC"))
+    prover.start(Isabelle.default_logic)
     
     val buffer = view.getBuffer
     val dir = buffer.getDirectory