# HG changeset patch
# User wenzelm
# Date 1261499141 -3600
# Node ID 69b7e50656c36579ab62e703a151dc3ebf70435a
# Parent  610ec1e0c8485e2c437d8a9391d2823decce4890
tuned;

diff -r 610ec1e0c848 -r 69b7e50656c3 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Tue Dec 22 17:13:43 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Tue Dec 22 17:25:41 2009 +0100
@@ -14,6 +14,7 @@
 
 import scala.io.Source
 import scala.util.matching.Regex
+import scala.collection.mutable
 
 
 object Isabelle_System
@@ -319,7 +320,7 @@
   def find_logics(): List[String] =
   {
     val ml_ident = getenv_strict("ML_IDENTIFIER")
-    var logics: Set[String] = Set()
+    val logics = new mutable.ListBuffer[String]
     for (dir <- getenv_strict("ISABELLE_PATH").split(":")) {
       val files = platform_file(dir + "/" + ml_ident).listFiles()
       if (files != null) {