Merge branches/mike/quickcheck:

Add QuickCheck-based property testing to the DeinProgramm/DMdA languages.

svn: r15901

original commit: 89ec442c0432a066c8df01858fa2f676c0f9b355

collects/framework/private/main.ss

@@ -257,7 +257,10 @@
                parameterize
                call-with-input-file call-with-input-file* with-input-from-file
                with-input-from-port call-with-output-file
-               with-output-to-file with-output-to-port))
+               with-output-to-file with-output-to-port
+
+	       for-all
+	       ))
   (preferences:set-default 
    'framework:tabify
    (list hash-table #rx"^begin" #rx"^def" #f)