source: trunk/dports/math/acl2

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @123356   5 years mf2k acl2 cadabra ccl cln cosmoplayer dillo DoCon emacs-w3m GiNaC gtk2hs …
(edit) @75061   9 years ryandesign Remove wrong backslashes
(edit) @52543   10 years jmr 'platform ppc' -> 'platform powerpc'
(edit) @50739   11 years gwright Version bump to 3.5.
(edit) @49312   11 years gwright Version bump to 3.4, also change openmcl variant to ccl variant …
(edit) @41098   11 years blb math/acl2 - fix a missed bit from removing Tcl cd command from #15394
(edit) @40898   11 years blb math/acl2 - remove use of Tcl cd command, ticket #15394 (maintainer …
(edit) @24865   13 years gwright Version bump to 3.2, also change the +nonstd variant to build acl2r in …
(edit) @22478   13 years pipping * Spring-cleaning @opendarwin.org addresses see #11465 see …
(edit) @20333   13 years blair Set the svn:keywords property to 'Id' for all Portfile's. This …
(edit) @18233   14 years gwright Save the output of the +certify-books and +regression variants. Bug: …
(edit) @18226   14 years gwright Fix some issues with the certification of books and the regresssion …
(edit) @18199   14 years gwright Version bump to 3.0. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @16211   14 years gwright Version bump to 2.9.4. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @8827   15 years gwright Added a note about ":dir :system" style path lookups failing in ACL2. …
(edit) @8826   15 years gwright Do regression testing and book certification after activation. …
(edit) @8805   15 years gwright Version bump to 2.9. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @6204   16 years gwright Fixed homepage. Bug: Submitted by: Reviewed by: Approved by: Obtained from:
(edit) @6175   16 years gwright Bumped version to 2.8. Bug: Submitted by: Reviewed by: Approved by: …
(edit) @5819   16 years gwright Patch file changed to correctly build with OpenMCL-0.14.1-pl1. Bug: …
(edit) @5813   16 years gwright Update comments in portfile; new patch for books/Makefile-generic from …
(edit) @5790   16 years gwright Update of patch-Makefile-generic to use new stuff from Matt Kaufmann. …
(edit) @5775   16 years gwright Patch for books/Makefile-generic fixes a bug (really, dependence on …
(edit) @3977   16 years jkh Fix the historical "sufx botch" by renaming it to "suffix" Reviewed …
(edit) @3173   16 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.