# HG changeset patch
# User wenzelm
# Date 1230377355 -3600
# Node ID 7df6275c4b3f74bfabf37a3b8418cd07d3690440
# Parent  2faedc70b52d41f16cbcecfc8c4edf1b23747bf9
IsabelleSystem.find_logics;

diff -r 2faedc70b52d -r 7df6275c4b3f src/Tools/jEdit/src/jedit/OptionPane.scala
--- a/src/Tools/jEdit/src/jedit/OptionPane.scala	Sun Dec 21 22:09:33 2008 +0100
+++ b/src/Tools/jEdit/src/jedit/OptionPane.scala	Sat Dec 27 12:29:15 2008 +0100
@@ -59,14 +59,12 @@
     })
 
     addComponent(property("logic.title"), {
-      val logics : Array[Object] = 
-        (IsabelleSystem.isabelle_tool("findlogics") _1).split("\\s").asInstanceOf[Array[Object]]
-      for (name <- logics) {
+      for (name <- IsabelleSystem.find_logics()) {
         logicName.addItem(name)
         if (name == property("logic"))
           logicName.setSelectedItem(name)
       }
-      
+
       logicName
     })
   }