src/Tools/jEdit/src/jedit/ProverSetup.scala

--- a/src/Tools/jEdit/src/jedit/ProverSetup.scala	Tue Jan 27 16:16:55 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/ProverSetup.scala	Tue Jan 27 17:22:55 2009 +0100
@@ -34,7 +34,9 @@
   val output_text_view = new JTextArea
 
   def activate(view: View) {
-    prover.start(Isabelle.Property("logic"))
+    val logic = Isabelle.Property("logic")
+    prover.start(if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC"))
+    
     val buffer = view.getBuffer
     val dir = buffer.getDirectory