2014-05-28 blanchet 2014-05-28 tuning
2014-05-28 blanchet 2014-05-28 repaired subscript problem in SML kNN
2014-05-28 blanchet 2014-05-28 tuning
2014-05-28 blanchet 2014-05-28 always remove duplicates in meshing + use weights for Naive Bayes
2014-05-27 blanchet 2014-05-27 updated naive Bayes
2014-05-27 blanchet 2014-05-27 don't generate discriminators and selectors for 'datatype_new' unless the user asked for it
2014-05-26 blanchet 2014-05-26 don't conceal (co)datatypes
2014-05-26 blanchet 2014-05-26 changed '-:' to 'dead' in BNF
2014-05-26 blanchet 2014-05-26 got rid of '=:' squiggly
2014-05-26 blanchet 2014-05-26 use '%x. x = C' as default discriminator for nullary constructor C, instead of relying on odd '=:' syntax
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