[acl2/acl2] 9671db: Removing basically empty book

0 views
Skip to first unread message

GitHub

unread,
Apr 21, 2017, 3:12:45 PM4/21/17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 9671db5a26774dc9d7986bcbd613ac77f018ca15
https://github.com/acl2/acl2/commit/9671db5a26774dc9d7986bcbd613ac77f018ca15
Author: David L. Rager <rag...@gmail.com>
Date: 2017-04-21 (Fri, 21 Apr 2017)

Changed paths:
R books/rtl/rel11/support/interval.lisp

Log Message:
-----------
Removing basically empty book


GitHub

unread,
Apr 21, 2017, 3:14:20 PM4/21/17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages