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