aboutsummaryrefslogtreecommitdiff
path: root/lang/twelf
Commit message (Expand)AuthorAgeFilesLines
* Bump PORTREVISIONs of all users of math/mpc that we just updated toGerald Pfeifer2018-03-101-0/+1
* - USe DISTVERSIONPREFIX instead of DISTNAMESunpoet Po-Chuan Hsieh2016-12-171-20/+13
* Remove ${PORTSDIR}/ from dependencies, categories h, i, j, k, and l.Mathieu Arnold2016-04-011-4/+4
* Do not hardcode dvips dependencyBaptiste Daroussin2014-07-231-2/+1
* Fix build with texliveBaptiste Daroussin2014-07-211-1/+2
* - Update to latest upstream release 1.7.1Thomas Zander2014-07-1610-837/+44
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-051-1/+1
* Maintainer no longer wishes to maintain those portsAntoine Brodin2014-05-101-1/+1
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-5/+2
* Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato2013-05-111-1/+1
* Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato2013-05-061-1/+1
* - update png to 1.5.10Dirk Meyer2012-06-011-1/+1
* The vast majority of pkg-descr files had the following format when theyDoug Barton2011-10-241-1/+0
* - remove MD5Olli Hauer2011-07-031-1/+0
* Bump PORTREVISION after open-mofit updateMax Brazhnikov2011-05-021-1/+1
* - update to 1.4.1Dirk Meyer2010-03-281-1/+1
* - update to jpeg-8Dirk Meyer2010-02-051-1/+1
* - bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer2009-07-311-0/+1
* - Update to 1.5R1Wesley Shields2009-04-1112-146/+421
* Remove USE_REINPLACE from the categories starting with LEdwin Groothuis2006-05-091-1/+0
* New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis2005-11-266-0/+603