isabelle: File revisions

src/HOL/Tools/Predicate_Compile/code_prolog.ML

Thu, 16 Sep 2010 13:49:06 +0200	bulwahn	registering code_prolog as component; using environment variable; adding settings file for prolog code generation	file \| diff \| annotate
Thu, 16 Sep 2010 13:49:04 +0200	bulwahn	adding mode inference to prolog compilation; separate between (ad-hoc) code modifications and system_configuration; adapting quickcheck	file \| diff \| annotate
Wed, 15 Sep 2010 09:36:39 +0200	bulwahn	adding option show_invalid_clauses for a more detailed message when modes are not inferred	file \| diff \| annotate
Tue, 07 Sep 2010 11:51:53 +0200	bulwahn	towards time limiting the prolog execution	file \| diff \| annotate
Tue, 07 Sep 2010 11:51:53 +0200	bulwahn	adding dependencies to IsaMakefile; increasing negative search limit for predicate_compile_quickcheck; adding tracing of introduction rules in code_prolog	file \| diff \| annotate
Tue, 31 Aug 2010 15:02:06 +0200	bulwahn	handling the quickcheck result no counterexample more correctly	file \| diff \| annotate
Tue, 31 Aug 2010 14:30:39 +0200	bulwahn	adding manual reordering of premises to prolog generation	file \| diff \| annotate

isabelle