[acl2/acl2] 80898f: Tweaked new function (save-rendered).

1 view

Skip to first unread message

unread,

Sep 22, 2016, 6:31:22 PM9/22/16

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 80898ff89fa8019e1834096f7759849c3bc1506b
https://github.com/acl2/acl2/commit/80898ff89fa8019e1834096f7759849c3bc1506b
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-09-22 (Thu, 22 Sep 2016)

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

Log Message:
-----------
Tweaked new function (save-rendered).

unread,

Sep 22, 2016, 6:32:13 PM9/22/16

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages