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