--- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Wed Jun 27 13:56:34 2012 +0200
+++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Wed Jun 27 17:23:18 2012 +0200
@@ -2671,6 +2671,8 @@
 
     \item[\isa{eval}] takes a term or a list of terms and evaluates
     these terms under the variable assignment found by quickcheck.
+    This option is currently only supported by the default
+    (exhaustive) tester.
 
     \item[\isa{iterations}] sets how many sets of assignments are
     generated for each particular size.