[acl2/acl2] c0f277: Added link to :doc checksum in :doc book-hash, as ...

0 views

Skip to first unread message

unread,

Jan 5, 2018, 2:34:01 PM1/5/18

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: c0f2773ad40af113cdd3bbe392b27d0aadbe5a1a
https://github.com/acl2/acl2/commit/c0f2773ad40af113cdd3bbe392b27d0aadbe5a1a
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-01-05 (Fri, 05 Jan 2018)

Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Added link to :doc checksum in :doc book-hash, as suggested by Pete Manolios.

unread,

Jan 5, 2018, 3:10:42 PM1/5/18

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages