[acl2/acl2] 50a4b5: Improved :doc ctx to mention fmt-ctx-spacers. F...

0 views

Skip to first unread message

unread,

Jun 22, 2017, 2:34:12 PM6/22/17

to acl2-...@googlegroups.com

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 50a4b52d16a2fefd465356877aa17c7f41d68d06
https://github.com/acl2/acl2/commit/50a4b52d16a2fefd465356877aa17c7f41d68d06
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2017-06-22 (Thu, 22 Jun 2017)

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

Log Message:
-----------
Improved :doc ctx to mention *fmt-ctx-spacers*. Fixed a minor typo in :doc common-lisp.

unread,

Jun 22, 2017, 2:38:53 PM6/22/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Reply all

Reply to author

Forward

0 new messages

[acl2/acl2] 50a4b5: Improved :doc ctx to mention *fmt-ctx-spacers*. F...