summaryrefslogtreecommitdiff
path: root/math/plman/pkg-descr (follow)
Commit message (Expand)AuthorAgeFilesLines
* [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreterEdwin Groothuis2005-12-211-0/+8