src/HOL/Predicate_Compile_Examples/ROOT.ML
2010-10-28 bulwahn 2010-10-28 adding a simple check to only run with a SWI-Prolog version known to work * * * taking the isabelle platform into account when finding the prolog system
2010-10-25 bulwahn 2010-10-25 changing test parameters in examples to get to a result within the global timelimit
2010-10-22 bulwahn 2010-10-22 splitting Hotel Key card example into specification and the two tests for counter example generation
2010-10-21 bulwahn 2010-10-21 temporary removed Predicate_Compile_Quickcheck_Examples from tests
2010-09-23 bulwahn 2010-09-23 splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests
2010-09-22 wenzelm 2010-09-22 renamed setmp_noncritical to Unsynchronized.setmp to emphasize its meaning;
2010-09-20 bulwahn 2010-09-20 replacing temporary hack by checking for environment settings of the component
2010-09-08 bulwahn 2010-09-08 restricting invocation only if PROLOG_HOME is set
2010-09-07 bulwahn 2010-09-07 adding the Reg_Exp example
2010-09-07 bulwahn 2010-09-07 adding IMP quickcheck examples
2010-09-07 bulwahn 2010-09-07 adding the CFG example to the build process
2010-09-07 bulwahn 2010-09-07 adding a List example (challenge from Tobias) for counterexample search
2010-08-31 bulwahn 2010-08-31 adding Lambda example theory; tuned
2010-08-25 bulwahn 2010-08-25 adding hotel keycard example for prolog generation
2010-08-03 bulwahn 2010-08-03 only test prolog code examples if environment variable is set
2010-08-01 bulwahn 2010-08-01 setting up Code_Prolog_Examples
2010-03-29 bulwahn 2010-03-29 adding specialisation examples of the predicate compiler
2010-03-24 bulwahn 2010-03-24 added predicate compiler quickcheck examples to new session Predicate_Compile_Examples
2010-03-24 bulwahn 2010-03-24 moved examples for the predicate compiler into its own session Predicate_Compile_Examples to slenderise the HOL-ex session