changeset 46701 | 879f5c76ffb6 |
parent 46664 | 1f6c140f9c72 |
child 46722 | d0491ab69c84 |
--- a/src/HOL/IsaMakefile Mon Feb 27 11:53:08 2012 +0100 +++ b/src/HOL/IsaMakefile Mon Feb 27 12:12:28 2012 +0100 @@ -61,7 +61,6 @@ HOL-Nitpick_Examples \ HOL-Number_Theory \ HOL-Old_Number_Theory \ - HOL-Quickcheck_Examples \ HOL-Quotient_Examples \ HOL-Predicate_Compile_Examples \ HOL-Prolog \ @@ -96,7 +95,7 @@ HOL-Nominal-Examples all: test-no-smlnj test images-no-smlnj images -full: all benchmark +full: all benchmark HOL-Quickcheck_Examples smlnj: test images