| 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 |
| Mon, 27 Oct 2014 16:00:04 +0100 | wenzelm | ISABELLE_JAVA_EXT is obsolete; | changeset | files |
| Mon, 27 Oct 2014 12:21:24 +0100 | hoelzl | further generalization of natfloor_div_nat | changeset | files |
| Mon, 27 Oct 2014 12:03:13 +0100 | hoelzl | generalize natfloor_div_nat, add floor variant: floor_divide_real_eq_div | changeset | files |