acl2/acl2 — pull request #303 by jaredcdavis (2014-11-09 14:15:49+00:00)
Title: Doc

Port more documentation to xdoc, mostly in the misc directory