diff -r da9d38dcced3 -r 81cce44fa5d7 lib/jedit/plugin/isabelle_plugin.scala
--- a/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 21:58:54 2008 +0200
+++ b/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 21:59:36 2008 +0200
@@ -7,6 +7,7 @@
 
 package isabelle.jedit
 
+import org.gjt.sp.jedit.jEdit
 import org.gjt.sp.jedit.EditPlugin
 import org.gjt.sp.util.Log
 
@@ -135,7 +136,15 @@
 
     /* Isabelle process */
 
-    isabelle = new IsabelleProcess("-mno_brackets", "-mno_type_brackets", "-mxsymbols")
+    val options =
+      (for (mode <- jEdit.getProperty("isabelle.print-modes").split("\\s+") if mode != "")
+        yield "-m" + mode)
+    val args = {
+      val logic = jEdit.getProperty("isabelle.logic")
+      if (logic != "") List(logic) else Nil
+    }
+    isabelle = new IsabelleProcess((options ++ args): _*)
+
     consumer_thread.start
 
   }