2014-06-28 ago haftmann CONTRIBUTORS
2014-06-28 ago haftmann fact consolidation
2014-06-27 ago wenzelm more tight Mailbox: single list is sufficient for single receiver, reverse outside critical section;
2014-06-27 ago wenzelm merged
2014-06-27 ago wenzelm command 'print_term_bindings' supersedes 'print_binds';
2014-06-27 ago wenzelm Proof General legacy;
2014-06-27 ago wenzelm removed obsolete "isabelle unsymbolize";
2014-06-27 ago wenzelm minor renovation of slightly odd and old README;
2014-06-27 ago wenzelm sane environment defaults for Mac OS X, based on former App1/script -- e.g. relevant for MacTeX PATH;
2014-06-27 ago blanchet tweaking
2014-06-27 ago blanchet correctly take weights into consideration
2014-06-27 ago blanchet tuned whitespace and parentheses
2014-06-27 ago blanchet use right theory name for theorems in evaluation driver
2014-06-27 ago blanchet killed dead code
2014-06-27 ago blanchet reintroduced 'extra features' + only print message in verbose mode
2014-06-27 ago blanchet got rid of hard-coded weights, now that we have TFIDF
2014-06-27 ago blanchet tuning
2014-06-27 ago blanchet tuning
2014-06-27 ago blanchet reintroduced 'extra features' but with lower weight than before (to account for tfidf)
2014-06-27 ago blanchet resolution modulo double negation
2014-06-27 ago blanchet compile
2014-06-27 ago blanchet merged two small theory files
2014-06-27 ago blanchet tuned variable names
2014-06-27 ago blanchet whitespace tuning
2014-06-27 ago blanchet repaired BNF 'size' generation tactic for datatypes mixng old- and new-style datatypes on the right-hand side
2014-06-27 ago paulson tiny refinements
2014-06-26 ago wenzelm suppress documentation "how_to_prove_it" for now, notably for release;
2014-06-26 ago wenzelm updated to jdk-7u60 -- back to stable Java 7 for Isabelle2014 release;
2014-06-26 ago wenzelm updated generated file;
2014-06-26 ago wenzelm merged
2014-06-26 ago wenzelm updated cygwin on server;
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet reintroduced MaSh hints, this time as persistent creatures
2014-06-26 ago blanchet always expand all paths
2014-06-26 ago blanchet tuned output
2014-06-26 ago blanchet tuned output
2014-06-26 ago blanchet right array indexing
2014-06-26 ago blanchet incremental learning when learing several facts
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet more incremental learning of single fact
2014-06-26 ago blanchet avoid needless (trivial) reordering on load
2014-06-26 ago blanchet recompute learning data at learning time, not query time
2014-06-26 ago blanchet imported patch killed_num_known_facts0
2014-06-26 ago blanchet refactoring
2014-06-26 ago blanchet renamed experimental learning engines
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet refactoring
2014-06-26 ago blanchet removed experimental machine learning engine
2014-06-26 ago blanchet store string-to-index tables in memory
2014-06-26 ago blanchet disable 'extra' feature tainting for now
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet honor visible in SML naive Bayes
2014-06-26 ago blanchet honor visibility in SML k-NN
2014-06-26 ago blanchet got rid of a few experimental options
2014-06-26 ago blanchet tuning
2014-06-26 ago blanchet killed dead code