aboutsummaryrefslogtreecommitdiff
path: root/math/plman
Commit message (Expand)AuthorAgeFilesLines
* [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreterEdwin Groothuis2005-12-215-0/+79