2014-06-29 blanchet 2014-06-29 removed non-existing MaSh component from list
2014-06-29 haftmann 2014-06-29 modernized diagnostic options
2014-06-29 blanchet 2014-06-29 use SMT2
2014-06-29 blanchet 2014-06-29 compile
2014-06-29 blanchet 2014-06-29 tuning
2014-06-29 blanchet 2014-06-29 killed Python version of MaSh, now that the SML version works adequately
2014-06-28 haftmann 2014-06-28 tracing facilities for the code generator preprocessor
2014-06-28 haftmann 2014-06-28 tuned interface
2014-06-28 haftmann 2014-06-28 corrected handled exception
2014-06-28 haftmann 2014-06-28 proper trading of variables; more appropriate ML variable names
2014-06-28 haftmann 2014-06-28 modernized
2014-06-28 wenzelm 2014-06-28 jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;
2014-06-28 wenzelm 2014-06-28 removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
2014-06-28 wenzelm 2014-06-28 updated NEWS -- removed material that is already in the manual;
2014-06-28 wenzelm 2014-06-28 merged
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-06-28 wenzelm 2014-06-28 misc tuning;
2014-06-28 haftmann 2014-06-28 CONTRIBUTORS
2014-06-28 haftmann 2014-06-28 fact consolidation
2014-06-27 wenzelm 2014-06-27 more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;
2014-06-27 wenzelm 2014-06-27 merged
2014-06-27 wenzelm 2014-06-27 command 'print_term_bindings' supersedes 'print_binds';
2014-06-27 wenzelm 2014-06-27 Proof General legacy;
2014-06-27 wenzelm 2014-06-27 removed obsolete "isabelle unsymbolize";
2014-06-27 wenzelm 2014-06-27 minor renovation of slightly odd and old README;
2014-06-27 wenzelm 2014-06-27 sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
2014-06-27 blanchet 2014-06-27 tweaking
2014-06-27 blanchet 2014-06-27 correctly take weights into consideration
2014-06-27 blanchet 2014-06-27 tuned whitespace and parentheses
2014-06-27 blanchet 2014-06-27 use right theory name for theorems in evaluation driver
2014-06-27 blanchet 2014-06-27 killed dead code
2014-06-27 blanchet 2014-06-27 reintroduced 'extra features' + only print message in verbose mode
2014-06-27 blanchet 2014-06-27 got rid of hard-coded weights, now that we have TFIDF
2014-06-27 blanchet 2014-06-27 tuning
2014-06-27 blanchet 2014-06-27 tuning
2014-06-27 blanchet 2014-06-27 reintroduced 'extra features' but with lower weight than before (to account for tfidf)
2014-06-27 blanchet 2014-06-27 resolution modulo double negation
2014-06-27 blanchet 2014-06-27 compile
2014-06-27 blanchet 2014-06-27 merged two small theory files
2014-06-27 blanchet 2014-06-27 tuned variable names
2014-06-27 blanchet 2014-06-27 whitespace tuning
2014-06-27 blanchet 2014-06-27 repaired BNF 'size' generation tactic for datatypes mixng old- and new-style datatypes on the right-hand side
2014-06-27 paulson 2014-06-27 tiny refinements
2014-06-26 wenzelm 2014-06-26 suppress documentation "how_to_prove_it" for now, notably for release;
2014-06-26 wenzelm 2014-06-26 updated to jdk-7u60 -- back to stable Java 7 for Isabelle2014 release;
2014-06-26 wenzelm 2014-06-26 updated generated file;
2014-06-26 wenzelm 2014-06-26 merged
2014-06-26 wenzelm 2014-06-26 updated cygwin on server; include unzip, which is required for src/Doc/JEdit;
2014-06-26 blanchet 2014-06-26 tuning
2014-06-26 blanchet 2014-06-26 reintroduced MaSh hints, this time as persistent creatures
2014-06-26 blanchet 2014-06-26 always expand all paths
2014-06-26 blanchet 2014-06-26 tuned output
2014-06-26 blanchet 2014-06-26 tuned output
2014-06-26 blanchet 2014-06-26 right array indexing
2014-06-26 blanchet 2014-06-26 incremental learning when learing several facts
2014-06-26 blanchet 2014-06-26 tuning
2014-06-26 blanchet 2014-06-26 more incremental learning of single fact
2014-06-26 blanchet 2014-06-26 avoid needless (trivial) reordering on load
2014-06-26 blanchet 2014-06-26 recompute learning data at learning time, not query time
2014-06-26 blanchet 2014-06-26 imported patch killed_num_known_facts0