GitHub PushEvent at 2014-02-07 07:02:18
Repository: acl2-books
Actor: kini
Payload: {"shas":[["74255f324595881b889118df2d34af96e6656457","6c5f8d76635c682fbfbfe94b3e951001b5cf4bc0@gmail.com","Documentation updates\n  - Integrate switches-parameters-and-modes changes from fix-the-hierarchy\n    into acl2-doc.lisp, in consultation with Matt\n  - Move XDOC topic underneath Documentation\n\nTweak .gitignores\n\ngit-svn-id: http://acl2-books.googlecode.com/svn/trunk@2528 303c5b2c-9740-0410-b014-fd8f9db7be32","Jared Davis",false]],"size":1,"ref":"refs/heads/master","head":"74255f324595881b889118df2d34af96e6656457"}