[acl2/acl2] 668a85: For xdoc::order-subtopics, changed syntax for spec...
0 views
Skip to first unread message
GitHub
Aug 20, 2016, 1:27:59 PM8/20/16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 668a857c9ec4d862ef3c0e35942194c1fbc95512
https://github.com/acl2/acl2/commit/668a857c9ec4d862ef3c0e35942194c1fbc95512
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-08-20 (Sat, 20 Aug 2016)
Changed paths:
M books/xdoc/prepare-topic.lisp
M books/xdoc/save-fancy.lisp
M books/xdoc/top.lisp
M books/xdoc/topics.lisp
Log Message:
-----------
For xdoc::order-subtopics, changed syntax for specifying chronological order (see :DOC) and fixed problem with saving manual reported by A. Coglio.
Home: https://github.com/acl2/acl2
Commit: 668a857c9ec4d862ef3c0e35942194c1fbc95512
https://github.com/acl2/acl2/commit/668a857c9ec4d862ef3c0e35942194c1fbc95512
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2016-08-20 (Sat, 20 Aug 2016)
Changed paths:
M books/xdoc/prepare-topic.lisp
M books/xdoc/save-fancy.lisp
M books/xdoc/top.lisp
M books/xdoc/topics.lisp
Log Message:
-----------
For xdoc::order-subtopics, changed syntax for specifying chronological order (see :DOC) and fixed problem with saving manual reported by A. Coglio.
GitHub
Aug 20, 2016, 1:32:12 PM8/20/16
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages