projects/milawa/ACL2/interface/cert.acl2: Avoid waterfall parallelism
in support of ACL2(hp) regression-everything run.

Quoting :doc note-6-5-books (following suggestion from Jared):

  Running the make command now causes an error if variable ACL2 is not
  bound to an executable.


git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2429 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a few typos.

Note that rendering @('(AND') <i>hyp1</i>@(')') still results in a trailing single-quote and closing paren.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2430 303c5b2c-9740-0410-b014-fd8f9db7be32