[acl2/acl2] 82f847: Remove commented includes from books/top and books...

0 views
Skip to first unread message

Eric W. Smith

unread,
Sep 30, 2022, 9:03:40 PM9/30/22
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 82f84773bed20fdfba365a8290d6fea62c54c3d5
https://github.com/acl2/acl2/commit/82f84773bed20fdfba365a8290d6fea62c54c3d5
Author: Eric Smith <ews...@gmail.com>
Date: 2022-09-30 (Fri, 30 Sep 2022)

Changed paths:
M books/doc/top.lisp
M books/top.lisp

Log Message:
-----------
Remove commented includes from books/top and books/doc/top.

This was discussed on the acl2-books mailing list. The commented-out include-books add unnecessary dependencies and might slow things down.


Eric W. Smith

unread,
Sep 30, 2022, 9:20:08 PM9/30/22
to acl2-...@googlegroups.com
Branch: refs/heads/master

Eric W. Smith

unread,
Sep 30, 2022, 9:20:26 PM9/30/22
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages