Mon, 27 Oct 2014 20:21:56 +0100 | wenzelm | increase chances that HOL-Proofs image still works for polyml-5.3.0; | changeset | files |
Mon, 27 Oct 2014 20:20:53 +0100 | wenzelm | JRE is sufficient for official release -- javac and jar are only needed for self-build; | changeset | files |
Mon, 27 Oct 2014 16:11:24 +0100 | wenzelm | clarified ISABELLE_JDK_HOME vs. JAVA_HOME; | changeset | files |