1.1 --- a/src/HOL/IsaMakefile	Mon Jul 23 19:07:01 2012 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 24 08:12:15 2012 +0200
     1.3 @@ -59,6 +59,7 @@
     1.4    HOL-Nitpick_Examples \
     1.5    HOL-Number_Theory \
     1.6    HOL-Old_Number_Theory \
     1.7 +  HOL-Quickcheck_Examples \
     1.8    HOL-Quotient_Examples \
     1.9    HOL-Predicate_Compile_Examples \
    1.10    HOL-Prolog \
    1.11 @@ -93,7 +94,7 @@
    1.12    HOL-Nominal-Examples
    1.13  
    1.14  all: test-no-smlnj test images-no-smlnj images
    1.15 -full: all benchmark HOL-Quickcheck_Examples
    1.16 +full: all benchmark
    1.17  smlnj: test images
    1.18  
    1.19