acl2/acl2 — pull request #241 by ragerdl (2014-09-22 15:59:08+00:00)
Title: Fixup googlecode references

Fixup at least some of the googlecode references in the ACL2 system doc and in Milawa.

Updates #236