2013-09-30 wenzelm 2013-09-30 tuned signature;
2013-09-30 wenzelm 2013-09-30 eliminated clone of Inductive.mk_cases_tac;
2013-09-30 wenzelm 2013-09-30 tuned signature;
2013-09-30 wenzelm 2013-09-30 tuned whitespace;
2013-09-30 wenzelm 2013-09-30 provide regular ML interface and use plain Syntax.read_prop/Syntax.check_prop (update by Manuel Eberl);
2013-09-30 blanchet 2013-09-30 merge
2013-09-30 blanchet 2013-09-30 minor tweak to error message
2013-09-30 wenzelm 2013-09-30 tuned;
2013-09-29 wenzelm 2013-09-29 explicit caret position after replacement;
2013-09-29 haftmann 2013-09-29 tuned proofs
2013-09-29 wenzelm 2013-09-29 observe user preferences;
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-29 wenzelm 2013-09-29 tuned;
2013-09-29 wenzelm 2013-09-29 tuned;
2013-09-29 wenzelm 2013-09-29 more on text completion;
2013-09-29 wenzelm 2013-09-29 made SML/NJ happy (NB: toplevel ML environment is unmanaged);
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-29 wenzelm 2013-09-29 updated for release;
2013-09-29 wenzelm 2013-09-29 updated to sumatra_pdf-2.3.2;
2013-09-29 wenzelm 2013-09-29 low-priority print task is always asynchronous -- relevant for single-core machine and automatically tried tools;
2013-09-29 wenzelm 2013-09-29 backout c6297fa1031a -- strange parsers are required to make this work;
2013-09-28 wenzelm 2013-09-28 make SML/NJ more happy;
2013-09-28 wenzelm 2013-09-28 enforce IsabelleText font for better symbol coverage, especially on Windows;
2013-09-28 wenzelm 2013-09-28 proper wrapper for parser -- more explicit error;
2013-09-28 wenzelm 2013-09-28 misc tuning for release;
2013-09-28 wenzelm 2013-09-28 remove remains from WinRun4J;
2013-09-28 wenzelm 2013-09-28 proper document markup;
2013-09-28 wenzelm 2013-09-28 uniform $ISABELLE_HOME on all platforms;
2013-09-28 wenzelm 2013-09-28 simplified ISABELLE_HOME on Windows (see also 9c8a1b9c0630, 5a7903ba2dac);
2013-09-28 wenzelm 2013-09-28 update second environment that is used for System.getenv(String);
2013-09-28 wenzelm 2013-09-28 adhoc update of JVM environment variables, which is relevant for cold start of jEdit;
2013-09-27 kuncar 2013-09-27 tuned names
2013-09-27 kuncar 2013-09-27 fold and lemmas about cardinality
2013-09-27 wenzelm 2013-09-27 more robust parser: 'imports' are mandatory except for bootstrapping Pure;
2013-09-27 blanchet 2013-09-27 one more unfolding necessary
2013-09-27 blanchet 2013-09-27 faster exit in common case
2013-09-27 nipkow 2013-09-27 merged
2013-09-27 nipkow 2013-09-27 hide coercion
2013-09-27 blanchet 2013-09-27 fixed one line that would never have compiled in a typed language + release the lock in case of exceptions
2013-09-27 nipkow 2013-09-27 merged
2013-09-27 nipkow 2013-09-27 added Bleast code eqns for RBT
2013-09-27 nipkow 2013-09-27 added code eqns for bounded LEAST operator
2013-09-27 kuncar 2013-09-27 new theory of finite sets as a subtype
2013-09-27 kuncar 2013-09-27 new parametricity rules and useful lemmas
2013-09-27 kuncar 2013-09-27 allow to specify multiple parametricity transfer rules in lift_definition
2013-09-27 Andreas Lochbihler 2013-09-27 merged
2013-09-27 Andreas Lochbihler 2013-09-27 generalise lemma
2013-09-27 wenzelm 2013-09-27 proper latex;
2013-09-27 Andreas Lochbihler 2013-09-27 merged
2013-09-27 Andreas Lochbihler 2013-09-27 add relator for 'a filter and parametricity theorems
2013-09-27 Andreas Lochbihler 2013-09-27 tuned proofs
2013-09-27 Andreas Lochbihler 2013-09-27 add lemmas
2013-09-27 Andreas Lochbihler 2013-09-27 prefer Code.abort over code_abort
2013-09-27 lammich 2013-09-27 merged
2013-09-26 lammich 2013-09-26 Added Item_Net.retrieve_matching
2013-09-26 lammich 2013-09-26 Added symmetric code_unfold-lemmas for null and is_none
2013-09-26 huffman 2013-09-26 tuned proofs
2013-09-26 huffman 2013-09-26 moved lemma
2013-09-26 wenzelm 2013-09-26 merged
2013-09-26 wenzelm 2013-09-26 proper regexp;