source: trunk/dports/math/ProofGeneral

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @142494   4 years khindenburg ProofGeneral: update to 4.2; maintainer timeout #48949
(edit) @57375   10 years ryandesign Change deprecated livecheck.check to livecheck.type See …
(edit) @38585   11 years mww version 3.7.1; switch livecheck to check for releases instead of …
(edit) @37354   11 years mww add missing 'platform' key
(edit) @37350   11 years mww version 3.7.1pre080526
(edit) @34121   12 years mww add livecheck
(edit) @31746   12 years mww * version 3.7pre071112_0 * take maintainership * dem5302@… …
(edit) @20334   13 years blair Set the svn:keywords property to 'Id' for all Portfile's. This …
(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.