acl2/acl2 — pull request #268 by ragerdl (2014-10-02 17:42:45+00:00)
Title: 2 CLs

Adding documentation for with[out]-waterfall-parallelism.
Fixes #266
Include xdoc in with-waterfall-parallelism