summaryrefslogtreecommitdiff
path: root/math/plman
AgeCommit message (Expand)Author
2014-07-07Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni
2014-07-04Remove NOPORTDOCS and NOPORTEXAMPLES.Adam Weinberger
2014-06-19Stagify.Vanilla I. Shu
2014-03-10Convert m* to USES=zipBaptiste Daroussin
2014-01-21Fix properties on pkg-plistBaptiste Daroussin
2013-09-20Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin
2012-12-10Decommissioning java 1.5 (EOLed since October 2009):Baptiste Daroussin
2011-07-21Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,Mark Linimon
2011-03-20- Get Rid MD5 supportMartin Wilke
2008-06-06Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis
2007-05-19- Welcome X.org 7.2 \o/.Florent Thoumie
2006-12-10- Updated email address in my portsNicola Vitale
2006-05-11- Remove email address from pkg-descr (as required by the Author)Cheng-Lung Sung
2006-05-10Remove USE_REINPLACE from ports starting with MEdwin Groothuis
2005-12-21[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreterEdwin Groothuis