[acl2/acl2] 373301: Added extensive documentation (essentially written...
2 views
Skip to first unread message
GitHub
Jan 5, 2018, 12:55:41 PM1/5/18
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 373301c9f9f4be46b02115eaa651d33dbef9205c
https://github.com/acl2/acl2/commit/373301c9f9f4be46b02115eaa651d33dbef9205c
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2018-01-05 (Fri, 05 Jan 2018)
Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
Log Message:
-----------
Added extensive documentation (essentially written by J) for apply$; see :doc for apply$ and its subtopics.
Home: https://github.com/acl2/acl2
Commit: 373301c9f9f4be46b02115eaa651d33dbef9205c
https://github.com/acl2/acl2/commit/373301c9f9f4be46b02115eaa651d33dbef9205c
Author: Matt Kaufmann <matthew.j...@gmail.com>
Date: 2018-01-05 (Fri, 05 Jan 2018)
Changed paths:
M books/system/doc/acl2-doc.lisp
M doc.lisp
Log Message:
-----------
Added extensive documentation (essentially written by J) for apply$; see :doc for apply$ and its subtopics.
GitHub
Jan 5, 2018, 12:58:00 PM1/5/18
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages