src/HOL/Tools/Nitpick/nitrox.ML
2012-01-04 blanchet 2012-01-04 tuning
2012-01-03 blanchet 2012-01-03 fixed spurious catch-all patterns
2011-09-07 blanchet 2011-09-07 tuning
2011-07-20 blanchet 2011-07-20 parse equalities correctly in Nitrox parser
2011-07-14 blanchet 2011-07-14 unbreak Nitrox's parsing
2011-07-13 blanchet 2011-07-13 honor the TPTP environment variable as the root of include relative paths -- that's a weird convention but without it Nitrox will fail at CASC
2011-07-13 blanchet 2011-07-13 more exhaustive testing in Nitrox
2011-07-13 blanchet 2011-07-13 no timeout for Nitrox
2011-05-31 blanchet 2011-05-31 first step in sharing more code between ATP and Metis translation
2011-05-27 blanchet 2011-05-27 handle non-auto try case gracefully in Nitpick
2011-05-27 blanchet 2011-05-27 added "try" command, to launch Solve Direct, Quickcheck, Nitpick, Sledgehammer, and Try Methods
2011-05-24 blanchet 2011-05-24 eliminated more code duplication in Nitrox
2011-05-24 blanchet 2011-05-24 reduce code duplication in Nitrox
2011-05-24 blanchet 2011-05-24 use \<emdash> rather than \<midarrow>
2011-03-22 blanchet 2011-03-22 added first-order TPTP version of Nitpick to Isabelle, so that its sources stay in sync with Isabelle and it is easier to install new versions for SystemOnTPTP and CASC -- the tool is called "isabelle nitrox" but is deliberately omitted from the tool list unless the component is explicitly enabled, to avoid clutter