[acl2/acl2] 286596: Refactored code for saving text-based manuals into...

0 views
Skip to first unread message

GitHub

unread,
Sep 22, 2016, 5:47:39 PM9/22/16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 286596de3f00b56362a4c4442ff6869d3d983a0b
https://github.com/acl2/acl2/commit/286596de3f00b56362a4c4442ff6869d3d983a0b
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-09-22 (Thu, 22 Sep 2016)

Changed paths:
M books/doc/top.lisp
A books/xdoc/save-rendered.lisp

Log Message:
-----------
Refactored code for saving text-based manuals into a new function, save-rendered.


GitHub

unread,
Sep 22, 2016, 5:53:56 PM9/22/16
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages