summaryrefslogtreecommitdiff
path: root/lang/twelf
AgeCommit message (Expand)Author
2014-07-23Do not hardcode dvips dependencyBaptiste Daroussin
2014-07-21Fix build with texliveBaptiste Daroussin
2014-07-16- Update to latest upstream release 1.7.1Thomas Zander
2014-07-05Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni
2014-05-10Maintainer no longer wishes to maintain those portsAntoine Brodin
2013-09-20Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin
2013-05-11Rectify USE_TEX to support both of teTeX and TeXLive.Hiroki Sato
2013-05-06Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetexHiroki Sato
2012-06-01- update png to 1.5.10Dirk Meyer
2011-10-24The vast majority of pkg-descr files had the following format when theyDoug Barton
2011-07-03- remove MD5Olli Hauer
2011-05-02Bump PORTREVISION after open-mofit updateMax Brazhnikov
2010-03-28- update to 1.4.1Dirk Meyer
2010-02-05- update to jpeg-8Dirk Meyer
2009-07-31- bump all port that indirectly depends on libjpeg and have not yet been bump...Dirk Meyer
2009-04-11- Update to 1.5R1Wesley Shields
2006-05-09Remove USE_REINPLACE from the categories starting with LEdwin Groothuis
2005-11-26New port: lang/twelf A meta-logical framework for deductive systemsEdwin Groothuis