aboutsummaryrefslogtreecommitdiffstats
path: root/lang/twelf
Commit message (Expand)AuthorAgeFilesLines
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...bapt2013-09-211-5/+2
* Rectify USE_TEX to support both of teTeX and TeXLive.hrs2013-05-121-1/+1
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexhrs2013-05-061-1/+1
* - update png to 1.5.10dinoex2012-06-011-1/+1
* The vast majority of pkg-descr files had the following format when theydougb2011-10-241-1/+0
* - remove MD5ohauer2011-07-031-1/+0
* Bump PORTREVISION after open-mofit updatemakc2011-05-021-1/+1
* - update to 1.4.1dinoex2010-03-281-1/+1
* - update to jpeg-8dinoex2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...dinoex2009-07-311-0/+1
* - Update to 1.5R1wxs2009-04-1112-146/+421
* Remove USE_REINPLACE from the categories starting with Ledwin2006-05-101-1/+0
* New port: lang/twelf A meta-logical framework for deductive systemsedwin2005-11-266-0/+603