[acl2/acl2] f53676: Added :doc xdoc::save-rendered (requested by Eric ...
0 views
Skip to first unread message
GitHub
Jan 13, 2017, 1:48:31 PM1/13/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f53676c87ab6020834df93e4238dc57337570c0c
https://github.com/acl2/acl2/commit/f53676c87ab6020834df93e4238dc57337570c0c
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-13 (Fri, 13 Jan 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
M books/xdoc/save-rendered.lisp
M books/xdoc/topics.lisp
M doc.lisp
Log Message:
-----------
Added :doc xdoc::save-rendered (requested by Eric Smith) and tweaked :doc acl2-doc to link to it.
Home: https://github.com/acl2/acl2
Commit: f53676c87ab6020834df93e4238dc57337570c0c
https://github.com/acl2/acl2/commit/f53676c87ab6020834df93e4238dc57337570c0c
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-01-13 (Fri, 13 Jan 2017)
Changed paths:
M books/system/doc/acl2-doc.lisp
M books/xdoc/save-rendered.lisp
M books/xdoc/topics.lisp
M doc.lisp
Log Message:
-----------
Added :doc xdoc::save-rendered (requested by Eric Smith) and tweaked :doc acl2-doc to link to it.
GitHub
Jan 13, 2017, 1:53:14 PM1/13/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages