# HG changeset patch
# User wenzelm
# Date 1246134128 -7200
# Node ID 42f897a7017f41bce970985a9916a78cf3e1880f
# Parent  80fd718796ceb7347bb49c236c81b4775c599d0c
clarified default_platform;

diff -r 80fd718796ce -r 42f897a7017f 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 {