acl2/acl2 — pull request #276 by ragerdl (2014-10-08 01:40:45+00:00)
Title: License and doc/top.lisp memory adjustment

Adding licenses to a with[out]-waterfall-parallelism.lisp. …
Fixes #267
Lowering max mem for doc/top.lisp

Also two "merges", which I think can be disregarded.