src/Doc/Nitpick/document/root.tex
2014-03-03 blanchet 2014-03-03 removed nonstandard models from Nitpick
2014-02-03 blanchet 2014-02-03 searchable underscores
2014-01-20 blanchet 2014-01-20 updated docs
2013-12-19 blanchet 2013-12-19 made timeouts in Sledgehammer not be 'option's -- simplified lots of code
2013-11-28 blanchet 2013-11-28 updated docs
2013-10-17 blanchet 2013-10-17 added thread-safety warnings
2013-10-14 blanchet 2013-10-14 added Nitpick limitations to docs
2013-09-24 blanchet 2013-09-24 use forthcoming "primcorec" command
2013-09-24 blanchet 2013-09-24 tuned docs
2013-09-24 blanchet 2013-09-24 register codatatypes with Nitpick
2013-09-23 blanchet 2013-09-23 document "spy"
2013-09-20 blanchet 2013-09-20 moved focus to Isabell/jEdit and away from Proof General
2013-08-20 blanchet 2013-08-20 removed french option to manuals
2012-12-12 blanchet 2012-12-12 use modern SAT solvers with modern Kodkod versions
2012-09-27 blanchet 2012-09-27 lower the defaults for the number of bits, based on an example by Lukas Bulwahn
2012-08-28 wenzelm 2012-08-28 renamed doc-src to src/Doc; renamed TutorialI to Tutorial;