Minor change to milawa Makefile to clean up .acl2rc files generated by certain lisps (Allegro, maybe Clisp) when saving images

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2301 303c5b2c-9740-0410-b014-fd8f9db7be32
added defung/ to coi/

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2302 303c5b2c-9740-0410-b014-fd8f9db7be32
removed defung from workshops

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2303 303c5b2c-9740-0410-b014-fd8f9db7be32
made default values pseudo-termps

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2304 303c5b2c-9740-0410-b014-fd8f9db7be32
made one more default value a pseudo-termp

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

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2307 303c5b2c-9740-0410-b014-fd8f9db7be32
Added svn:ignore properties as discussed with Jared.

git-svn-id: http://acl2-books.googlecode.com/svn/trunk@2308 303c5b2c-9740-0410-b014-fd8f9db7be32
Added caveat for centaur/ ignores.

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

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