src/HOL/Tools/Nitpick/nitpick_commands.ML
2016-08-14 blanchet 2016-08-14 removed trailing final stops in Nitpick messages
2016-05-24 wenzelm 2016-05-24 clarified syntax categories;
2015-11-04 blanchet 2015-11-04 eliminated Nitpick's pedantic support for 'emdash'
2015-10-18 wenzelm 2015-10-18 tuned signature;
2015-10-02 blanchet 2015-10-02 removed Nitpick nonblocking mode, that was never really used
2015-05-29 blanchet 2015-05-29 removed model checks from Nitpick
2015-04-22 wenzelm 2015-04-22 allow diagnostic proof commands with skip_proofs;
2015-04-16 wenzelm 2015-04-16 explicit error for Toplevel.proof_of; eliminated obsolete Toplevel.unknown_proof; more total Toplevel.proof_position_of;
2015-04-06 wenzelm 2015-04-06 @{command_spec} is superseded by @{command_keyword};
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-11-03 wenzelm 2014-11-03 eliminated unused int_only flag (see also c12484a27367); just proper commands;
2014-11-03 wenzelm 2014-11-03 eliminated obsolete Proof.goal_message -- print outcome more directly;
2014-10-31 wenzelm 2014-10-31 discontinued Proof General;
2014-04-08 wenzelm 2014-04-08 more uniform ML/document antiquotations;
2014-03-03 blanchet 2014-03-03 tuned code
2014-03-03 blanchet 2014-03-03 removed nonstandard models from Nitpick
2014-01-31 blanchet 2014-01-31 compile
2014-01-31 blanchet 2014-01-31 tuned ML file name