{"push_id":1179950471,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1865852b2ea7d176c5ab3d2ad55b0e1a12649b71","before":"830e584ed44d9b2fd87cf1b3d9cc5dc0556c7285","commits":[{"sha":"1865852b2ea7d176c5ab3d2ad55b0e1a12649b71","author":{"name":"Matt Kaufmann","email":"165c5a339872de97ecba2ef89cf8dbba63b7c3e0@cs.utexas.edu"},"message":"Doc updates including new xdoc::testing; new recursivep argument; added an acknowledgement; fixed some broken links.\n\nUpdated :short field of :doc history to replace self-reference to\n\"history\" by reference to the logical world.  Thanks to Stephen\nWestfold for useful feedback.\n\nAdd documentation on testing xdoc forms, in particular, topic\nxdoc::testing.  Improvements are welcomed!\n\nQuoting :doc note-7-3:\n\n  An argument has been added to the built-in function, recursivep. The\n  old call (recursivep fn wrld) has been replaced by the equivalent\n  new call (recursivep fn t wrld) in some community books. See\n  [system-utilities] for a discussion of recursivep.\n\nMore details: The old call (recursivep fn wrld), which accessed the\ndef-body of fn, has been replaced by the equivalent new call\n(recursivep fn t wrld) in the community books\ncentaur/gl/symbolic-arithmetic.lisp, centaur/fty/fixequiv.lisp,\ncentaur/vl2014/mlib/blocks.lisp, clause-processors/just-expand.lisp,\nclause-processors/stobj-preservation.lisp, std/util/defines.lisp,\nstd/util/returnspecs.lisp, centaur/sv/vl/moddb.lisp,\ncentaur/vl/mlib/blocks.lisp, and tools/stobj-frame.lisp.  However, the\nbook kestrel/system/world-queries.lisp now uses (recursivep fn nil\nwrld), to access the 'recursivep property.  See the discussion of\nrecursivep in :doc system-utilities.\n\nbooks/kestrel/system/auto-termination.lisp: Added acknowledgement for\nEric Smith.\n\nFixed most broken links.","distinct":true,"url":"https://api.github.com/repos/acl2/acl2/commits/1865852b2ea7d176c5ab3d2ad55b0e1a12649b71"}]}
{"actor":{"display_login":"MattKaufmann"}}