Fix bug in unsound-eval-raw error messages, and fix various typos in documentation (fixes issue 115)

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

Updated Makefile in consultation with Jared, so that "clean" does
"milawa-clean".

Also with Jared's help, updated top topic of acl2+books combined
manual so that the date is included.  I wanted because I now
distribute an svn version of the acl2+books combined manual from time
to time (see
http://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/),
and it might be nice for people to see the date on the manual that
they are viewing.


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

Slightly improved ld-post-eval-print and other topics about LD
specials, by adding:

 Note that the ACL2 top-level loop (see @(tsee lp)) results from
 an invocation of @(tsee ld).



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

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