summaryrefslogtreecommitdiff
path: root/math/plman/pkg-descr (unfollow)
Commit message (Expand)AuthorFilesLines
2005-12-21[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreterEdwin Groothuis1-0/+8