acl2/acl2 — pull request #285 by ragerdl (2014-10-15 15:45:21+00:00)
Title: Removing the disabling of waterfall parallelism for 20 books.

Some of them now use without-waterfall-parallelism instead, since that's the classier way of doing things.

Updates #281