2014-10-30 wenzelm 2014-10-30 eliminated aliases;
2014-10-30 wenzelm 2014-10-30 eliminated aliases;
2014-10-30 wenzelm 2014-10-30 tuned spelling;
2014-10-30 wenzelm 2014-10-30 hardwired imitation of copy.shortcut2 default;
2014-10-30 haftmann 2014-10-30 more simp rules concerning dvd and even/odd
2014-10-30 paulson 2014-10-30 choose_reduce_nat: re-ordered operands
2014-10-30 wenzelm 2014-10-30 make SML/NJ more happy;
2014-10-30 wenzelm 2014-10-30 proper syntax categery "name" -- as usual and as documented;
2014-10-30 hoelzl 2014-10-30 disable coercions for NO_MATCH
2014-10-29 wenzelm 2014-10-29 merged
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 merged
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; tuned whitespace;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; more standard module name;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; tuned whitespace;
2014-10-29 wenzelm 2014-10-29 tuned;
2014-10-29 wenzelm 2014-10-29 modernized setup;
2014-10-29 wenzelm 2014-10-29 modernized setup; more standard module name;
2014-10-29 wenzelm 2014-10-29 more standard theory name;
2014-10-29 wenzelm 2014-10-29 more iterators;
2014-10-29 nipkow 2014-10-29 removed useless lemmas
2014-10-29 nipkow 2014-10-29 tuned layout and proofs
2014-10-28 wenzelm 2014-10-28 tuned proofs; tuned white space; more symbols;
2014-10-28 wenzelm 2014-10-28 increase chances that HOL-Proofs image still works for polyml-5.3.0;
2014-10-28 wenzelm 2014-10-28 tuned signature;
2014-10-28 wenzelm 2014-10-28 proper selectMatch, e.g. relevant for S-click on gutter;
2014-10-28 wenzelm 2014-10-28 find command span in buffer; tuned signature;
2014-10-28 wenzelm 2014-10-28 'notepad' requires proper nesting of begin/end;
2014-10-28 wenzelm 2014-10-28 explicit keyword category for commands that may start a block;
2014-10-28 wenzelm 2014-10-28 updated keywords;
2014-10-28 wenzelm 2014-10-28 'oops' requires proper goal statement -- exclude 'notepad' to avoid disrupting begin/end structure;
2014-10-28 wenzelm 2014-10-28 more abstract type;
2014-10-28 wenzelm 2014-10-28 tuned;
2014-10-28 wenzelm 2014-10-28 tuned;
2014-10-27 wenzelm 2014-10-27 updated to jdk-7u72;
2014-10-27 wenzelm 2014-10-27 increase chances that HOL-Proofs image still works for polyml-5.3.0;
2014-10-27 wenzelm 2014-10-27 JRE is sufficient for official release -- javac and jar are only needed for self-build;
2014-10-27 wenzelm 2014-10-27 clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
2014-10-27 wenzelm 2014-10-27 ISABELLE_JAVA_EXT is obsolete; no censorship of ISABELLE_JDK_HOME;
2014-10-27 hoelzl 2014-10-27 further generalization of natfloor_div_nat
2014-10-27 hoelzl 2014-10-27 generalize natfloor_div_nat, add floor variant: floor_divide_real_eq_div
2014-10-26 haftmann 2014-10-26 eliminated redundancies; more simp rules
2014-10-25 haftmann 2014-10-25 more simp rules; slight proof tuning
2014-10-26 wenzelm 2014-10-26 clarified default;
2014-10-26 wenzelm 2014-10-26 support negative extraLineSpacing; updated ErrorList.jar 2.3;
2014-10-25 wenzelm 2014-10-25 tuned whitespace; more symbols;
2014-10-25 wenzelm 2014-10-25 made SML/NJ happy;
2014-10-24 wenzelm 2014-10-24 merged;
2014-10-24 wenzelm 2014-10-24 discontinued python from standard system environment;
2014-10-24 wenzelm 2014-10-24 more generous default;