handle "default" logic;

--- a/src/Tools/jEdit/src/jedit/isabelle_options.scala	Fri Dec 11 23:29:18 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/isabelle_options.scala	Fri Dec 11 23:38:14 2009 +0100
@@ -19,10 +19,11 @@
 
   override def _init()
   {
+    val logic = Isabelle.Property("logic")
     addComponent(Isabelle.Property("logic.title"), {
-      for (name <- Isabelle.system.find_logics()) {
+      for (name <- "default" :: Isabelle.system.find_logics()) {
         logic_name.addItem(name)
-        if (name == Isabelle.Property("logic"))
+        if (name == logic)
           logic_name.setSelectedItem(name)
       }
       logic_name

--- a/src/Tools/jEdit/src/jedit/plugin.scala	Fri Dec 11 23:29:18 2009 +0100
+++ b/src/Tools/jEdit/src/jedit/plugin.scala	Fri Dec 11 23:38:14 2009 +0100
@@ -60,7 +60,7 @@
     val modes = system.getenv("JEDIT_PRINT_MODE").split(",").toList.map("-m" + _)
     val logic = {
       val logic1 = Isabelle.Property("logic")
-      if (logic1 != null && logic1 != "") logic1
+      if (logic1 != null && logic1 != "" && logic1 != "default") logic1
       else {
         val logic2 = system.getenv("JEDIT_LOGIC")
         if (logic2 != "") logic2