2013-10-02 wenzelm 2013-10-02 some highlights of Isabelle2013-1 based on NEWS;
2013-10-02 wenzelm 2013-10-02 tuned;
2013-10-02 wenzelm 2013-10-02 misc tuning for release;
2013-10-02 blanchet 2013-10-02 more (co)data docs
2013-10-02 blanchet 2013-10-02 don't register equations of the form 'f x = ...' as simp rules, even if they are safe (noncorecursive), because they unfold too aggresively concepts users are likely to want to stay folded
2013-10-02 traytel 2013-10-02 NEWS and CONTRIBUTORS
2013-10-02 traytel 2013-10-02 made SML/NJ happy
2013-10-02 traytel 2013-10-02 use new coinduction method and primcorec in examples
2013-10-02 traytel 2013-10-02 new coinduction method
2013-10-02 blanchet 2013-10-02 tuned command descriptions
2013-10-02 blanchet 2013-10-02 strengthen tactic w.r.t. let
2013-10-02 blanchet 2013-10-02 minor doc fix (there is no guarantee that the equations for a given f_i are contiguous in the collection)
2013-10-02 kuncar 2013-10-02 typo
2013-10-02 kuncar 2013-10-02 NEWS and CONTRIBUTORS
2013-10-01 blanchet 2013-10-01 merged
2013-10-01 blanchet 2013-10-01 compile -- broken since 21dac9a60f0c
2013-10-01 blanchet 2013-10-01 strengthened tactic for right-hand sides involving lambdas
2013-10-01 krauss 2013-10-01 basic documentation for function elimination rules and fun_cases
2013-10-01 blanchet 2013-10-01 allow uncurried lambda-abstractions on rhs of "primcorec"
2013-10-01 blanchet 2013-10-01 tiny doc fix
2013-10-01 traytel 2013-10-01 base the fset bnf on the new FSet theory
2013-10-01 traytel 2013-10-01 improved backwards compatiblity of primrec_new (Isabelle/ML interface, attributes, etc.)
2013-10-01 blanchet 2013-10-01 removed spurious save if nothing needs to bee learned
2013-10-01 blanchet 2013-10-01 new version of MaSh that really honors the --port option and that checks for file name mismatches
2013-10-01 blanchet 2013-10-01 minor textual changes
2013-10-01 blanchet 2013-10-01 got rid of dead feature
2013-10-01 blanchet 2013-10-01 refactoring -- splitting between constructor sugar dependencies and true BNF dependencies
2013-10-01 blanchet 2013-10-01 renamed ML files
2013-10-01 blanchet 2013-10-01 renamed theory file
2013-10-01 wenzelm 2013-10-01 tuned signature -- facilitate experimentation with other processes;
2013-09-30 Christian Sternagel 2013-09-30 preserve types during rewriting
2013-09-30 blanchet 2013-09-30 made SML/NJ happy
2013-09-30 blanchet 2013-09-30 made SML/NJ happy
2013-09-30 blanchet 2013-09-30 made SML/NJ happier
2013-09-30 blanchet 2013-09-30 added experimental configuration options to tune use of builtin symbols in SMT
2013-09-30 blanchet 2013-09-30 added possibility to reset builtins (for experimentation)
2013-09-30 blanchet 2013-09-30 just one data slot (record) per program unit
2013-09-30 blanchet 2013-09-30 more "primrec_new" documentation
2013-09-30 wenzelm 2013-09-30 merged
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;