explicit getLines(n) ensures platform-independence -- our files follow the POSIX standard, not DOS;

--- a/src/Pure/System/isabelle_system.scala	Mon May 10 15:18:57 2010 +0200
+++ b/src/Pure/System/isabelle_system.scala	Mon May 10 17:07:47 2010 +0200
@@ -306,7 +306,7 @@
   private def read_symbols(path: String): List[String] =
   {
     val file = platform_file(path)
-    if (file.isFile) Source.fromFile(file).getLines().toList
+    if (file.isFile) Source.fromFile(file).getLines("\n").toList
     else Nil
   }
   val symbols = new Symbol.Interpretation(