# HG changeset patch
# User wenzelm
# Date 1273504067 -7200
# Node ID cf36fd1e4cdac5eb4fd89b72a60a2bf0e2928477
# Parent  80ced7c7505f1aec29e5325bb2c5d4f19d004d10
explicit getLines(n) ensures platform-independence -- our files follow the POSIX standard, not DOS;

diff -r 80ced7c7505f -r cf36fd1e4cda src/Pure/System/isabelle_system.scala
--- 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(