Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/platform.scala
changeset 46117 edd50ec8d471
parent 45673 cd41e3903fbf
child 51617 4e49bba9772d 
--- a/src/Pure/System/platform.scala	Wed Jan 04 13:58:06 2012 +0100
+++ b/src/Pure/System/platform.scala	Wed Jan 04 15:41:18 2012 +0100
@@ -58,7 +58,6 @@
   /* JVM name */
 
   val jvm_name: String = System.getProperty("java.vm.name")
-  val is_hotspot: Boolean = jvm_name.startsWith("Java HotSpot")
 
 
   /* Swing look-and-feel */
isabelle