source: trunk/dports/math/isabelle

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @9548   15 years gwright Move the Isabelle2004 directory from ${prefix}/ to ${prefix}/lib.
(edit) @9545   15 years gwright Dependency update.
(edit) @9507   15 years gwright Use ${homepage} and ${extract.suffix} where appropriate.
(add) @9505   15 years gwright New Port: Isabelle2004. Thanks to Dustin Mulcahey!
Note: See TracRevisionLog for help on using the revision log.