aboutsummaryrefslogtreecommitdiff
path: root/jobs/acl2-theorems.develop.before
blob: 05c494dcac68da0b89f4ee944d70e0c4bbb3c07c (about) (plain)
1
./acl2-theorems.before