| Wed, 30 Sep 2015 21:32:44 +0200 | wenzelm | renamed jvmpath to platform_path; | file | diff | annotate |
| Sun, 22 Apr 2012 19:04:30 +0200 | wenzelm | more robust handling of PATH vs PATH_JVM -- required for cold start of Cygwin from Windows (e.g. Isabelle.exe); | file | diff | annotate |