# HG changeset patch
# User wenzelm
# Date 1330109220 -3600
# Node ID 1258eab48270ae0afab29ac5ba097cdbf88780cc
# Parent  2190af0ef2634955233c31489b889f9a866aa11b
updated stats according to src/HOL/IsaMakefile;

diff -r 2190af0ef263 -r 1258eab48270 Admin/isatest/isatest-stats
--- a/Admin/isatest/isatest-stats	Fri Feb 24 19:45:10 2012 +0100
+++ b/Admin/isatest/isatest-stats	Fri Feb 24 19:47:00 2012 +0100
@@ -52,6 +52,7 @@
   HOL-Proofs-Extraction
   HOL-Proofs-Lambda
   HOL-Proofs-ex
+  HOL-Quickcheck_Examples
   HOL-Quotient_Examples
   HOL-SET_Protocol
   HOL-SPARK