[acl2/acl2] caddbc: Adding some trivial paragraph tags

0 views

Skip to first unread message

unread,

Oct 12, 2017, 4:55:50 PM10/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: caddbc736b591c2a46c4de5fd15f6878463ec71c
https://github.com/acl2/acl2/commit/caddbc736b591c2a46c4de5fd15f6878463ec71c
Author: David L. Rager <rag...@gmail.com>
Date: 2017-10-12 (Thu, 12 Oct 2017)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
Adding some trivial paragraph tags

unread,

Oct 12, 2017, 5:23:18 PM10/12/17

to acl2-...@googlegroups.com

Branch: refs/heads/master

Reply all

Reply to author

Forward

0 new messages