aboutsummaryrefslogtreecommitdiffstats
path: root/math/plman
Commit message (Collapse)AuthorAgeFilesLines
* Bump portrevision due to upgrade of devel/gettext.edwin2008-06-061-1/+1
| | | | | | | | | | The affected ports are the ones with gettext as a run-dependency according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT in Makefile (29 of them). PR: ports/124340 Submitted by: edwin@ Approved by: portmgr (pav)
* - Welcome X.org 7.2 \o/.flz2007-05-201-0/+1
| | | | | - Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}. - Bump PORTREVISION for ports intalling files in ${X11BASE}.
* - Updated email address in my portsnivit2006-12-101-1/+1
| | | | Approved by: alexbl (mentor)
* - Remove email address from pkg-descr (as required by the Author)clsung2006-05-111-1/+1
| | | | | PR: ports/97138 Submitted by: maintainer (Nicola Vitale)
* Remove USE_REINPLACE from ports starting with Medwin2006-05-111-1/+0
|
* [NEW PORT] math/plman: A Propositional Logic sentence shell/interpreteredwin2005-12-215-0/+79
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>
generated by cgit (git 2.34.1) at 2024-12-05 10:47:58 +0800