Fixing a typo

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2313 303c5b2c-9740-0410-b014-fd8f9db7be32
Added a doc string for break-on-g-apply.  That being said, I don't think this string is actually included in the manual... perhaps because it is a macro

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

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2316 303c5b2c-9740-0410-b014-fd8f9db7be32
Adding part-select to the manual

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2317 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a dead link.  Also removing trailing whitespaces while I'm here

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2319 303c5b2c-9740-0410-b014-fd8f9db7be32
Clarifying a doc topic

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