2014-05-26 blanchet 2014-05-26 renamed 'MaSh' option
2014-05-26 blanchet 2014-05-26 document '=:' syntax better
2014-05-26 wenzelm 2014-05-26 capitalize even more carefully (see 5ac67041ccf8), e.g. relevant for option "z3_non_commercial" and prospective "MaSh";
2014-05-25 wenzelm 2014-05-25 tuned;
2014-05-24 wenzelm 2014-05-24 clarified copy_file: allow to rename base name, e.g. relevant for 'display_drafts';
2014-05-24 wenzelm 2014-05-24 support for regular Windows TeX installation;
2014-05-24 wenzelm 2014-05-24 more portable file names;
2014-05-24 wenzelm 2014-05-24 more portable -- accomodate MiKTeX on Windows;
2014-05-24 wenzelm 2014-05-24 receovered alternative abbrevs for \<open> \<close> from 8e8243975860, to accommodate national keyboard layouts where "`" might be hard to produce;
2014-05-24 wenzelm 2014-05-24 strip trailing white space, to avoid notorious problems of jEdit with last line;
2014-05-23 blanchet 2014-05-23 added fifth member to BNF team
2014-05-23 blanchet 2014-05-23 removed noise
2014-05-23 blanchet 2014-05-23 fixed semantics of 'linearize'
2014-05-23 blanchet 2014-05-23 automatically reload state file when it changes on disk
2014-05-22 haftmann 2014-05-22 tuned
2014-05-22 haftmann 2014-05-22 tuned names
2014-05-22 haftmann 2014-05-22 tuned signature
2014-05-22 haftmann 2014-05-22 moved const declaration further down in bootstrap hierarchy: keep Named_Target free of low-level stuff
2014-05-22 haftmann 2014-05-22 unused
2014-05-22 haftmann 2014-05-22 tuned
2014-05-22 haftmann 2014-05-22 more uniform order of operations; tuned names
2014-05-22 haftmann 2014-05-22 common background_abbrev operation
2014-05-22 haftmann 2014-05-22 tuned signature
2014-05-22 haftmann 2014-05-22 tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction
2014-05-22 haftmann 2014-05-22 compactified
2014-05-22 wenzelm 2014-05-22 include Nominal2 keywords -- Proof General legacy;
2014-05-22 wenzelm 2014-05-22 another attempt to revive isatest -- reverting 801c01004a21;
2014-05-22 blanchet 2014-05-22 avoid slow inspection of proof terms now that dependencies are stored in 'state'
2014-05-22 blanchet 2014-05-22 properly mark relearns as dirty
2014-05-22 blanchet 2014-05-22 disable weights that cause more harm than they help in kNN
2014-05-22 blanchet 2014-05-22 add self dependency to naive Bayes
2014-05-22 blanchet 2014-05-22 make MaSh Python the default when passing 'fact_filter = mash' without enabling the 'maSh' Isabelle system option
2014-05-22 haftmann 2014-05-22 compactified level discriminator
2014-05-22 blanchet 2014-05-22 properly reconstruct helpers in Z3 proofs
2014-05-22 blanchet 2014-05-22 reverted '|' features in MaSh -- these sounded like a good idea but never really worked
2014-05-22 blanchet 2014-05-22 tuning
2014-05-22 blanchet 2014-05-22 shorten Sledgehammer output, as suggested by Andrei Popescu
2014-05-22 blanchet 2014-05-22 until naive Bayes supports weights, don't incorporate 'extra' low-weight features
2014-05-21 wenzelm 2014-05-21 spell-checker completion is restricted to explicit mode, to avoid odd effects with immediate edits vs. delayed language context markup, and occasional delays due to dictionary lookup of many variants;
2014-05-21 wenzelm 2014-05-21 merged
2014-05-21 wenzelm 2014-05-21 updated to scala-2.11.1, with full uncensored classpath;
2014-05-21 wenzelm 2014-05-21 updated cygwin more thoroughly;
2014-05-21 desharna 2014-05-21 document property 'sel_map'
2014-05-21 desharna 2014-05-21 generate 'sel_map[simp]' theorem for (co)datatypes and tuning 'disc_map_iff'
2014-05-21 wenzelm 2014-05-21 merged
2014-05-21 wenzelm 2014-05-21 more uniform Font_Info.Zoom_Box; misc tuning and clarification;
2014-05-21 wenzelm 2014-05-21 added zoom box, like for outer output windows;
2014-05-21 wenzelm 2014-05-21 tuned signature;
2014-05-21 Lars Hupel 2014-05-21 consolidate "break_thm" and "break_term" attributes into "simp_break";
2014-05-21 blanchet 2014-05-21 docs
2014-05-21 blanchet 2014-05-21 added comment
2014-05-21 blanchet 2014-05-21 move exhaust first, for technical reasons
2014-05-21 blanchet 2014-05-21 avoid markup-generating @{make_string}
2014-05-21 hoelzl 2014-05-21 generalized Bochner integral over infinite sums
2014-05-21 wenzelm 2014-05-21 unused;
2014-05-21 wenzelm 2014-05-21 obsolete;
2014-05-21 wenzelm 2014-05-21 approximative update of versions;
2014-05-21 wenzelm 2014-05-21 incorporate isabelle.graphview into Pure.jar, which saves 20..30s build time; discontinued pointless "isabelle graphview" command-line tool (Proof General legacy);
2014-05-21 Lars Hupel 2014-05-21 remove stray println;
2014-05-20 blanchet 2014-05-20 CONTRIBUTORS