summaryrefslogtreecommitdiff
path: root/math/plman
AgeCommit message (Expand)Author
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