Quoting :doc note-6-5:

  File GNUmakefile in the ACL2 sources directory wasn't passing the
  value of shell variable ACL2 from target certify-books-fresh to
  target certify-books. This has been fixed. We thank Jared Davis and
  Camm Maguire for helpful discussions.

  Modified ACL2(hp) so that two system functions that had been
  [unmemoize]d when turning on [waterfall-parallelism] ---
  fchecksum-obj and expansion-alist-pkg-names-memoize --- now remain
  memoized. This can greatly improve performance when using ACL2(hp)
  with [waterfall-parallelism] on, in particular community book
  books/system/doc/render-doc-combined.lisp.

installation/requirements.html: Removed unhelpful parenthetical
comment.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1224 5d84a466-a78b-0930-a311-59b22171a541