source: trunk/dports/math/acl2

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @3173   17 years jkh Mass-merge of destroot target changes. Before committing this, I also …
(edit) @2606   17 years gwright Spring cleaning: removed cruft from Portfile.
(add) @2569   17 years gwright Port of ACL2, the successor to nqthm, the Boyer-Moore theorem prover.
Note: See TracRevisionLog for help on using the revision log.