Synopsis: [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter State-Changed-From-To: open->closed State-Changed-By: edwin State-Changed-When: Wed Dec 21 04:10:18 UTC 2005 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=90277