--- a/Admin/PLATFORMS Wed Sep 30 21:05:14 2015 +0200
+++ b/Admin/PLATFORMS Wed Sep 30 21:32:44 2015 +0200
@@ -11,10 +11,10 @@
The basic Isabelle system infrastructure provides some facilities to
make this work, e.g. see the ML and Scala modules File and Path, or
functions like Isabelle_System.bash. The settings environment also
-provides some means for portability, e.g. the bash function "jvmpath"
-to keep the impression that Java on Windows/Cygwin adheres to
-Isabelle/POSIX standards, although inside the JVM itself there are
-many Windows-specific things.
+provides some means for portability, e.g. the bash function
+"platform_path" to keep the impression that Windows/Cygwin adheres to
+Isabelle/POSIX standards, although Poly/ML and the JVM are
+Windows-specific things.
When producing add-on tools, it is important to stay within this clean
room of Isabelle, and refrain from overly ambitious system hacking.
@@ -97,7 +97,7 @@
* Perl as largely portable system programming language, with its
fairly robust support for processes, signals, sockets etc.
-* Scala with Java 1.7. Isabelle/Scala irons out many oddities and
+* Scala with Java 1.8. Isabelle/Scala irons out many oddities and
portability issues of the Java platform.