ACL2 Version 6.5 release

git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1365 5d84a466-a78b-0930-a311-59b22171a541
Added 2014 slogan (previously omitted by oversight) to workshops.html
page.  (I did that on the web, too.)

Some things that went into the previous commit, for Version 6.5, which
I forgot to mention:

- Quoting an updated part of :doc note-6-5:

    In some recent versions of CMUCL, after executing the
    forms (set-print-base 16 state) and (set-print-case :downcase
    state), hex digits were printed in lower case, unlike other host
    Lisps and contrary to the ACL2 axioms: for example, 1000 base 10
    was printed as 3e8 rather than as predicted by the ACL2 axioms,
    3E8.

  (Techhnical aside: Renamed allegro-print-number-base-16
  to print-number-base-16-upcase-digits and used it not only for
  Allegro CL but also for CMUCL.)

- Added an NSF grant acknowledgement on the home page.

- Miscellaneous others small mods, e.g., to the installation
  instructions to point to acl2.org for books tarballs.


git-svn-id: http://acl2-devel.googlecode.com/svn/trunk@1366 5d84a466-a78b-0930-a311-59b22171a541
[Completed previous commit, which I aborted partway through and
hence only included the first item below.]

Added 2014 slogan (previously omitted by oversight) to workshops.html
page.  (I did that on the web, too.)

Some things that went into the previous commit, for Version 6.5, which
I forgot to mention:

- Quoting an updated part of :doc note-6-5:

    In some recent versions of CMUCL, after executing the
    forms (set-print-base 16 state) and (set-print-case :downcase
    state), hex digits were printed in lower case, unlike other host
    Lisps and contrary to the ACL2 axioms: for example, 1000 base 10
    was printed as 3e8 rather than as predicted by the ACL2 axioms,
    3E8.

  (Techhnical aside: Renamed allegro-print-number-base-16
  to print-number-base-16-upcase-digits and used it not only for
  Allegro CL but also for CMUCL.)

- Added an NSF grant acknowledgement on the home page.

- Miscellaneous others small mods, e.g., to the installation
  instructions to point to acl2.org for books tarballs.


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