further downshift of theory Parity in the hierarchy
even further downshift of theory Parity in the hierarchy
more generous default;
discontinued python from standard system environment;
merged;
made SML/NJ happy;
tuned whitespace;
more symbols;
support negative extraLineSpacing;
updated ErrorList.jar 2.3;
clarified default;
more simp rules;
slight proof tuning
eliminated redundancies;
more simp rules
generalize natfloor_div_nat, add floor variant: floor_divide_real_eq_div
further generalization of natfloor_div_nat
ISABELLE_JAVA_EXT is obsolete;
no censorship of ISABELLE_JDK_HOME;
clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
JRE is sufficient for official release -- javac and jar are only needed for self-build;
increase chances that HOL-Proofs image still works for polyml-5.3.0;
updated to jdk-7u72;
tuned;
tuned;