8000 Remove ACL2s section from installation page by calebegg · Pull Request #1602 · acl2/acl2 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Remove ACL2s section from installation page#1602

Closed
calebegg wants to merge 2 commits intoacl2:masterfrom
calebegg:patch-1
Closed

Remove ACL2s section from installation page#1602
calebegg wants to merge 2 commits intoacl2:masterfrom
calebegg:patch-1

Commits

Commits on Jul 8, 2024
0