Quoting :doc note-6-4:

| Fixed a bug in an ACL2 system function, our-truename, which returns the
| ``true name'' for a file name, when supplied with an optional second
| argument.  Thanks to Camm Maguire for bringing this bug to our attention.

Also, fixed a number of typos in the tutorial, reported by David Rager.


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