source: trunk/dports/math/ProofGeneral

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @11509   15 years jkh Bump revision.
(edit) @11508   15 years jkh Consolidate this port and the editors/ProofGeneral port (whoops!). …
(add) @9546   15 years gwright New port: ProofGeneral-3.5. Thanks to Dustin Mulcahey!
Note: See TracRevisionLog for help on using the revision log.