aboutsummaryrefslogtreecommitdiff
path: root/math/plman
Commit message (Expand)AuthorAgeFilesLines
* 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