Added reference to non-parallel-book from :doc
set-waterfall-parallelism.



git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1358 5d84a466-a78b-0930-a311-59b22171a541
Incorporated mods to :doc note-6-5.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1359 5d84a466-a78b-0930-a311-59b22171a541
(Affects ACL2(r) only) Installed patch from Ruben Gamboa for ACL2(r)
bug.

Updated some comments in GNUmakefile.  Thanks to Harsh Raju Chamarthi
for feedback that led me to make these updates.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1360 5d84a466-a78b-0930-a311-59b22171a541
Miscellaneous updates to installation instructions, including pointing to acl2.org for tarballs.

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1361 5d84a466-a78b-0930-a311-59b22171a541
NOTE: Unless I encounter unforeseen problems, this should be the last
check-in to acl2-devel until the release of ACL2 Version 6.5.

Quoting :doc note-6-5 (belatedly added now for the change committed in
acl2-devel svn revision 1360, which went with acl2-books svn revisions
2892-3):

  For ACL2(r), Ruben Gamboa found a bug in constraints for functions
  introduced with defun-std, and also kindly provided a fix, which
  has been incorporated.

Fixed a bug in the creation of *1* functions.  This bug was introduced
after Version 6.4 in the implementation of reducing the "rolling back"
of the logical world (see :doc note-6-5).  A comment in binding of
cl-compliant-p-optimization explains the bug and its fix.  Amazingly,
this bug survived many regressions and uses in industry; I found it
while attempting to certify some old books from Rockwell that I use
for testing just before each release.

Updated workshops.html with recent info.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1362 5d84a466-a78b-0930-a311-59b22171a541
NOTE: Unless I encounter unforeseen problems, this should be the last
check-in to acl2-devel until the release of ACL2 Version 6.5.
[Yeah, I know I said that just a few minutes ago....]

Incorporated small :doc fixes from books/system/doc/acl2-doc.lisp:

  Updated :doc real to avoid obsolete reference to nonstd-6.4.tar.gz.

  Updated :doc books-certification-alt to avoid mention of obsolete
  `make' target regression-nonstd.


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