Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Remove $FreeBSD$ from patches files everywhere. | Mathieu Arnold | 2015-05-22 | 1 | -1/+0 |
| | | | | | | | | With hat: portmgr Sponsored by: Absolight Notes: svn path=/head/; revision=387082 | ||||
* | [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter | Edwin Groothuis | 2005-12-21 | 1 | -0/+11 |
PLMan, or Propositional LogicMan, is a user-friendly and powerful propositional logic (sometimes called sentential logic or propositional calculus) sentence shell/interpreter written in Java, capable of handling many existing propositional systems of propositional logic, especially the important ones. Author: Takayuki Hoshi <hoshi103@chapman.edu> WWW: http://plman.sourceforge.net/ PR: ports/90277 Submitted by: Nicola Vitale <nivit@email.it> Notes: svn path=/head/; revision=151700 |