2015-12-01 Andreas Lochbihler 2015-12-01 add formalisation of Bourbaki-Witt fixpoint theorem
2015-12-01 Andreas Lochbihler 2015-12-01 add lemmas
2015-12-01 Andreas Lochbihler 2015-12-01 strengthen lemma
2015-12-01 paulson 2015-12-01 Merge
2015-12-01 paulson 2015-12-01 Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material.
2015-12-01 blanchet 2015-12-01 set "transfer_rule" attribute more generously
2015-12-01 blanchet 2015-12-01 tuned whitespace
2015-11-30 wenzelm 2015-11-30 misc tuning and modernization;
2015-11-30 wenzelm 2015-11-30 misc tuning and modernization;
2015-11-30 wenzelm 2015-11-30 tuned;
2015-11-30 blanchet 2015-11-30 avoid 'hence' and 'thus' in generated proofs
2015-11-30 blanchet 2015-11-30 removed tracing
2015-11-29 nipkow 2015-11-29 RBT invariants for insert
2015-11-28 wenzelm 2015-11-28 removed junk;
2015-11-27 wenzelm 2015-11-27 merged
2015-11-27 wenzelm 2015-11-27 more reactive GUI;
2015-11-27 wenzelm 2015-11-27 tuned;
2015-11-27 nipkow 2015-11-27 paint root black after insert and delete
2015-11-25 wenzelm 2015-11-25 observe option "indent";
2015-11-24 wenzelm 2015-11-24 more scalable GUI;
2015-11-24 wenzelm 2015-11-24 paint gutter text on base line of main text area, to accomodate extra line spacing without special tricks (see also jEdit bug #3717 and its fix in SVN 23977, which does not quite work: odd jumping positions on vertical cursor movement); avoid hardwired colors (see 1d9c121cbe4d); updated to Highlight 2.2;
2015-11-24 traytel 2015-11-24 Ported old example to use (co)datatypes
2015-11-23 wenzelm 2015-11-23 discontinued Mac OS X 10.7 Lion (macbroy6);
2015-11-23 wenzelm 2015-11-23 merged
2015-11-23 wenzelm 2015-11-23 clarified font: GUI defaults might change dynamically;
2015-11-23 wenzelm 2015-11-23 updated platform baseline to Mac OS X 10.8 Mountain Lion;
2015-11-23 wenzelm 2015-11-23 updated to polyml-5.6-20151123;
2015-11-23 paulson 2015-11-23 Merge
2015-11-23 paulson 2015-11-23 New material about paths, winding numbers, etc. Added lemmas to divide_const_simps. Misc tuning.
2015-11-23 wenzelm 2015-11-23 bundle main sources read-only, to avoid accidental editing of imported theories etc.;
2015-11-22 wenzelm 2015-11-22 more symbols;
2015-11-22 wenzelm 2015-11-22 some GC options that potentially improve reactivity;
2015-11-22 wenzelm 2015-11-22 more thorough completion rendering, e.g. "Un";
2015-11-22 wenzelm 2015-11-22 tuned;
2015-11-21 ballarin 2015-11-21 Updates to the revision history of the locales tutorial.
2015-11-21 ballarin 2015-11-21 Clarify locale qualifiers: output and tutorial.
2015-11-21 wenzelm 2015-11-21 tuned proofs;
2015-11-21 wenzelm 2015-11-21 tuned;
2015-11-21 wenzelm 2015-11-21 double flush to ensure persistent "state" output is reset; tuned GUI;
2015-11-21 wenzelm 2015-11-21 reverted 2abbe7d700e9: "state" output is not necessarily proof state;
2015-11-21 wenzelm 2015-11-21 clarified default (again) in accordance to with Output dockable, despite more CPU resources requirements;
2015-11-21 wenzelm 2015-11-21 more thorough update of options;
2015-11-21 wenzelm 2015-11-21 limit statistics, to avoid exhaustion of heap space or GUI time;
2015-11-21 wenzelm 2015-11-21 render snapshot.is_outdated in text overview, where other status information is shown already;
2015-11-21 wenzelm 2015-11-21 avoid flashing of main text area (visual "grey-out") due to spurious edits, e.g. State panel auto-update;
2015-11-21 wenzelm 2015-11-21 clarified default;
2015-11-21 wenzelm 2015-11-21 recovered auto update from f9aaca00be49;
2015-11-21 wenzelm 2015-11-21 less intrusive rendering, notably for State dockable;
2015-11-21 wenzelm 2015-11-21 clarified rendering of Markup.DOC: like Markup.PATH / Markup.URL;
2015-11-21 wenzelm 2015-11-21 more direct access to option "editor_output_state";
2015-11-21 wenzelm 2015-11-21 tuned;
2015-11-20 wenzelm 2015-11-20 speculative support for polyml-5.6, according to git commit 3527f4ba7b8b;
2015-11-20 paulson 2015-11-20 Now just a few seconds faster
2015-11-20 nipkow 2015-11-20 merged
2015-11-20 nipkow 2015-11-20 tuned
2015-11-20 paulson 2015-11-20 Theory of homotopic paths (from HOL Light), plus comments and minor refinements
2015-11-20 nipkow 2015-11-20 merged
2015-11-20 nipkow 2015-11-20 tuned
2015-11-19 haftmann 2015-11-19 explicit nested local theory for definitions, however retaining arcane low-level fiddling with background theory
2015-11-19 wenzelm 2015-11-19 tuned;