Home New since last time: 11 messages Discussions10 of 1136 messages view all » [acl2-books] r994 committed - Renamed some lemmas true-listp-explode-nonnegative-integer to... By acl2-bo...@googlecode.com - Mar 2 - 1 author - 0 replies [acl2-books] r993 committed - Separate the more basic ihs-extensions stuff into a new book, and chan... By acl2-bo...@googlecode.com - Mar 1 - 1 author - 0 replies [acl2-books] r992 committed - Add some error handling for missing directories in certlib By acl2-bo...@googlecode.com - Mar 1 - 1 author - 0 replies [acl2-books] r991 committed - bstar: added another utility to make (better?) decomposition binders By acl2-bo...@googlecode.com - Feb 29 - 1 author - 0 replies [acl2-books] r990 committed - add warning suppression mechanism for vl-lint By acl2-bo...@googlecode.com - Feb 28 - 1 author - 0 replies [acl2-books] r989 committed - ... By acl2-bo...@googlecode.com - Feb 28 - 1 author - 0 replies [acl2-books] r988 committed - slight clean up of xdoc/xdoc-impl package stuff By acl2-bo...@googlecode.com - Feb 28 - 1 author - 0 replies [acl2-books] r987 committed - partially fix problems related to blank ports By acl2-bo...@googlecode.com - Feb 28 - 1 author - 0 replies [acl2-books] r986 committed - Mods for ACL2(p) regression, make in consultion with David Rager. By acl2-bo...@googlecode.com - Feb 27 - 1 author - 0 replies [acl2-books] r985 committed - release seed-random book By acl2-bo...@googlecode.com - Feb 27 - 1 author - 0 replies Report this group   XML       Send email to this group: acl2-books@googlegroups.com