src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sat Jun 27 22:14:13 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat Jun 27 22:22:08 2009 +0200
@@ -33,7 +33,7 @@
   private val Darwin = new Regex("Mac OS X")
   private val Cygwin = new Regex("Windows.*")
 
-  val platform: Option[String] =
+  val default_platform: Option[String] =
   {
     val name =
       java.lang.System.getProperty("os.name") match {