add missing file for deflist

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2916 303c5b2c-9740-0410-b014-fd8f9db7be32
fix breakage from disabling atom-listp

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2917 303c5b2c-9740-0410-b014-fd8f9db7be32
Make include-raw check for out-of-date compiled files (fixes issue 128).

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2918 303c5b2c-9740-0410-b014-fd8f9db7be32
make defprojection pluggable like deflist

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

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2921 303c5b2c-9740-0410-b014-fd8f9db7be32
Fixing a broken split infinitive fix... not that I try to often unsplit infinitives.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2922 303c5b2c-9740-0410-b014-fd8f9db7be32
Made the :short part of xdoc topics part of the HTML header description for each page.

Updates Issue 132.

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