2016-03-16 wenzelm 2016-03-16 tuned signature;
2016-03-16 wenzelm 2016-03-16 support for Poly/ML heap hierarchy, which saves a lot of disk space;
2016-03-16 wenzelm 2016-03-16 clarified signature;
2016-03-16 wenzelm 2016-03-16 tuned signature;
2016-03-16 wenzelm 2016-03-16 less physical "logic" argument, with option -l like "isabelle console" etc.;
2016-03-15 wenzelm 2016-03-15 find heaps uniformly via Sessions.Store; tuned;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-03-15 wenzelm 2016-03-15 clarified modules;
2016-03-15 wenzelm 2016-03-15 ML save_state under control of Isabelle/Scala;
2016-03-15 wenzelm 2016-03-15 clarified prompt: "ML" usually means Isabelle/ML;
2016-03-14 wenzelm 2016-03-14 record stamps of cumulative input heaps; tuned;
2016-03-16 paulson 2016-03-16 Merge
2016-03-16 paulson 2016-03-16 Contractible sets. Also removal of obsolete theorems and refactoring
2016-03-16 hoelzl 2016-03-16 add measurability rules for ennreal
2016-03-16 hoelzl 2016-03-16 generalized some Borel measurable statements to support ennreal
2016-03-15 paulson 2016-03-15 rationalisation of theorem names esp about "real Archimedian" etc.
2016-03-15 Andreas Lochbihler 2016-03-15 add fixpoint induction principle
2016-03-14 blanchet 2016-03-14 generalized ML function
2016-03-14 paulson 2016-03-14 New results about paths, segments, etc. The notion of simply_connected.
2016-03-14 paulson 2016-03-14 Merge
2016-03-14 paulson 2016-03-14 Refactoring (moving theorems into better locations), plus a bit of new material
2016-03-14 blanchet 2016-03-14 strengthened tactics
2016-03-13 wenzelm 2016-03-13 tuned;
2016-03-13 wenzelm 2016-03-13 tuned signature;
2016-03-13 wenzelm 2016-03-13 prefer Scala over bash function;
2016-03-13 wenzelm 2016-03-13 tuned;
2016-03-13 wenzelm 2016-03-13 clarified env;
2016-03-13 wenzelm 2016-03-13 unused;
2016-03-13 wenzelm 2016-03-13 more uniform signature for various process invocations; env refers to full environment, not the update;
2016-03-13 wenzelm 2016-03-13 tuned;
2016-03-13 haftmann 2016-03-13 more theorems on orderings
2016-03-13 haftmann 2016-03-13 dropped junk
2016-03-12 wenzelm 2016-03-12 tuned;
2016-03-12 wenzelm 2016-03-12 merged
2016-03-12 wenzelm 2016-03-12 tuned;
2016-03-12 wenzelm 2016-03-12 clarified cleanup;
2016-03-12 wenzelm 2016-03-12 more thorough cleanup -- in Scala;
2016-03-12 wenzelm 2016-03-12 create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
2016-03-12 wenzelm 2016-03-12 obsolete (cf. 63a5782c764e);
2016-03-12 wenzelm 2016-03-12 clarified session build options: already provided by ML_Process; tuned signature;
2016-03-12 haftmann 2016-03-12 spelling
2016-03-12 haftmann 2016-03-12 model characters directly as range 0..255 * * * operate on syntax terms rather than asts
2016-03-11 wenzelm 2016-03-11 tuned messages;
2016-03-11 wenzelm 2016-03-11 tuned message;
2016-03-11 blanchet 2016-03-11 generate theorems like 'bool.split_sel'
2016-03-10 wenzelm 2016-03-10 merged
2016-03-10 wenzelm 2016-03-10 tuned;
2016-03-10 wenzelm 2016-03-10 tuned;
2016-03-10 wenzelm 2016-03-10 upgrade "isabelle build" to Isabelle/Scala;
2016-03-10 wenzelm 2016-03-10 prefer plain "isabelle" from PATH within Isabelle settings environment;
2016-03-10 wenzelm 2016-03-10 isabelle_process is superseded by "isabelle process" tool; tuned tool usage; misc updates and tuning of "system" manual;
2016-03-10 wenzelm 2016-03-10 clarified messages, notably on Windows where CPU time of poly.exe is not measured;
2016-03-10 wenzelm 2016-03-10 clarified modules;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-10 wenzelm 2016-03-10 clarified files;
2016-03-10 blanchet 2016-03-10 don't throw an exception when trying to print an error message
2016-03-10 blanchet 2016-03-10 eta-expansion done right in "primcorec"
2016-03-10 haftmann 2016-03-10 clarified: constructors in the sense of the code generator are not invertible; correct treatment of constructors with same name but different type; moved doubtful comment to corresponding function call
2016-03-10 haftmann 2016-03-10 moved
2016-03-09 wenzelm 2016-03-09 merged