isabelle: File revisions

src/HOL/Tools/Nitpick/nitpick_isar.ML

Thu, 29 Oct 2009 12:09:32 +0100	blanchet	merged	file \| diff \| annotate
Wed, 28 Oct 2009 17:43:43 +0100	blanchet	introduced Auto Nitpick in addition to Auto Quickcheck;	file \| diff \| annotate
Tue, 27 Oct 2009 16:52:06 +0100	blanchet	renamed Nitpick option "coalesce_type_vars" to "merge_type_vars" (shorter) and cleaned up old hacks that are no longer necessary	file \| diff \| annotate
Sun, 08 Nov 2009 18:43:42 +0100	wenzelm	adapted Theory_Data;	file \| diff \| annotate
Wed, 28 Oct 2009 22:18:00 +0100	wenzelm	renamed raw Proof.get_goal to Proof.raw_goal;	file \| diff \| annotate
Tue, 27 Oct 2009 14:40:24 +0100	blanchet	internal renaming in Nitpick and fixed Kodkodi invokation on Linux;	file \| diff \| annotate
Tue, 27 Oct 2009 11:25:56 +0100	wenzelm	SimpleThread.fork: uniform handling of outermost Interrupt, which is not an error and should not produce exception trace;	file \| diff \| annotate
Fri, 23 Oct 2009 18:59:24 +0200	blanchet	continuation of Nitpick's integration into Isabelle;	file \| diff \| annotate
Thu, 22 Oct 2009 14:51:47 +0200	blanchet	added Nitpick's theory and ML files to Isabelle/HOL;	file \| diff \| annotate

isabelle