2012-01-23 blanchet 2012-01-23 rebranded Nitrox, for more uniformity
2012-01-23 blanchet 2012-01-23 moved "nitrox" to TPTP
2012-01-23 huffman 2012-01-23 generalize type of List.listrel
2012-01-23 bulwahn 2012-01-23 support for Ex1 in quickcheck-narrowing
2012-01-23 bulwahn 2012-01-23 adding another internal constant to mutabelle's blacklust
2012-01-23 bulwahn 2012-01-23 adding some more forbidden constant names for the mutated conjecture generation
2012-01-23 bulwahn 2012-01-23 adding code generation for some list relations
2012-01-23 bulwahn 2012-01-23 adding fun_eq_iff to the preprocessing
2012-01-23 bulwahn 2012-01-23 random instance for sets
2012-01-23 bulwahn 2012-01-23 more configurations to mutabelle
2012-01-20 bulwahn 2012-01-20 catching code generation errors in quickcheck-narrowing
2012-01-20 bulwahn 2012-01-20 adding narrowing instance for sets
2012-01-20 bulwahn 2012-01-20 shortened definitions by adding some termify constants
2012-01-20 bulwahn 2012-01-20 tuned
2012-01-20 bulwahn 2012-01-20 adding check_all instance for sets; tuned
2012-01-20 nipkow 2012-01-20 tuned
2012-01-20 nipkow 2012-01-20 tuned
2012-01-19 blanchet 2012-01-19 minor edits in docs
2012-01-19 blanchet 2012-01-19 renamed "sound" option to "strict"
2012-01-19 blanchet 2012-01-19 updated Sledge docs some more
2012-01-19 blanchet 2012-01-19 more doc updates
2012-01-19 blanchet 2012-01-19 updated docs
2012-01-19 blanchet 2012-01-19 lower timeout for preplay, now that we have more preplay methods
2012-01-19 blanchet 2012-01-19 cleanly separate each Metis encoding
2012-02-09 wenzelm 2012-02-09 basic setup for equational reasoning; updated rewrite_goals_tac and fold_goals_tac;
2012-02-07 wenzelm 2012-02-07 tuned;
2012-02-07 wenzelm 2012-02-07 updated examples for syntax translations;
2012-02-05 wenzelm 2012-02-05 updated section on raw syntax; misc tuning;
2012-02-05 wenzelm 2012-02-05 updated section about syntax ambiguity;
2012-02-04 wenzelm 2012-02-04 updated/unified section on mixfix annotations;
2012-02-04 wenzelm 2012-02-04 tuned;
2012-02-04 wenzelm 2012-02-04 more on explicit notation;
2012-02-04 wenzelm 2012-02-04 more accurate Pure grammar;
2012-02-04 wenzelm 2012-02-04 more refs;
2012-02-04 wenzelm 2012-02-04 simplified mixfix (NB: infix is no longer required separately);
2012-02-02 wenzelm 2012-02-02 updated section on print modes;
2012-02-02 wenzelm 2012-02-02 misc tuning and reformatting; more antiquotations;
2012-02-02 wenzelm 2012-02-02 clarified syntax section structure;
2012-02-02 wenzelm 2012-02-02 discontinued obscure history commands;
2012-02-02 wenzelm 2012-02-02 misc tuning and reformatting;
2012-02-02 wenzelm 2012-02-02 discontinued obscure history commands;
2012-01-29 wenzelm 2012-01-29 updated hint about asm_rl;
2012-01-29 wenzelm 2012-01-29 updated thin_tac;
2012-01-29 wenzelm 2012-01-29 updated distinct_subgoals_tac, flexflex_tac;
2012-01-29 wenzelm 2012-01-29 removed obscure material;
2012-01-29 wenzelm 2012-01-29 updated rotate_tac;
2012-01-27 wenzelm 2012-01-27 tuned;
2012-01-27 wenzelm 2012-01-27 updated citations;
2012-01-27 wenzelm 2012-01-27 updated subgoal_tac;
2012-01-26 wenzelm 2012-01-26 tuned sectioning;
2012-01-26 wenzelm 2012-01-26 updated "Control and search tacticals" (moved from ref to implementation); discontinued odd trace flags that assume sequential TTY loop; discontinued obscure DETERM_UNTIL_SOLVED; discontinued obsolete chapter "Tacticals" (ref);
2012-01-26 wenzelm 2012-01-26 obsolete -- covered in implementation manual;
2012-01-26 wenzelm 2012-01-26 moved HEADGOAL; added RANGE;
2012-01-26 wenzelm 2012-01-26 removed some obscure material; misc tuning;
2012-01-26 wenzelm 2012-01-26 added SELECT_GOAL;
2012-01-26 wenzelm 2012-01-26 tuned;
2012-01-25 wenzelm 2012-01-25 updated "subgoal quantifiers";
2012-01-25 wenzelm 2012-01-25 tuned ML infixes;
2012-01-25 wenzelm 2012-01-25 document antiquotations for ML infix operators;
2012-01-25 wenzelm 2012-01-25 tuned;