aboutsummaryrefslogtreecommitdiff
path: root/math/plman
Commit message (Expand)AuthorAgeFilesLines
* Remove explicit dependency on javavmwrapper for ports that USE_JAVAAntoine Brodin2015-01-231-2/+0
* Cleanup plistAntoine Brodin2014-11-141-3/+0
* Remove indefinite articles and trailing periods from COMMENT, plus minorJimmy Olgeni2014-07-071-1/+1
* Remove NOPORTDOCS and NOPORTEXAMPLES.Adam Weinberger2014-07-041-2/+2
* Stagify.Vanilla I. Shu2014-06-191-6/+5
* Convert m* to USES=zipBaptiste Daroussin2014-03-101-2/+1
* Fix properties on pkg-plistBaptiste Daroussin2014-01-211-1/+0
* Add NO_STAGE all over the place in preparation for the staging support (cat: ...Baptiste Daroussin2013-09-201-0/+1
* Decommissioning java 1.5 (EOLed since October 2009):Baptiste Daroussin2012-12-101-6/+2
* Now that the Java 1.3 and Java 1.4 ports are deprecated and will expire soon,Mark Linimon2011-07-211-1/+1
* - Get Rid MD5 supportMartin Wilke2011-03-201-1/+0
* Bump portrevision due to upgrade of devel/gettext.Edwin Groothuis2008-06-061-1/+1
* - Welcome X.org 7.2 \o/.Florent Thoumie2007-05-191-0/+1
* - Updated email address in my portsNicola Vitale2006-12-101-1/+1
* - Remove email address from pkg-descr (as required by the Author)Cheng-Lung Sung2006-05-111-1/+1
* Remove USE_REINPLACE from ports starting with MEdwin Groothuis2006-05-101-1/+0
* [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreterEdwin Groothuis2005-12-215-0/+79