--- 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) {