Date: Wed, 21 Dec 2005 04:10:09 +0000 (UTC) From: Edwin Groothuis <edwin@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math Makefile ports/math/plman Makefile distinfo pkg-descr pkg-plist ports/math/plman/files patch-bin-plman Message-ID: <200512210410.jBL4A9ro062014@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
edwin 2005-12-21 04:10:09 UTC
FreeBSD ports repository
Modified files:
math Makefile
Added files:
math/plman Makefile distinfo pkg-descr pkg-plist
math/plman/files patch-bin-plman
Log:
[NEW PORT] math/plman: A Propositional Logic sentence shell/interpreter
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>
Revision Changes Path
1.349 +1 -0 ports/math/Makefile
1.1 +49 -0 ports/math/plman/Makefile (new)
1.1 +3 -0 ports/math/plman/distinfo (new)
1.1 +11 -0 ports/math/plman/files/patch-bin-plman (new)
1.1 +8 -0 ports/math/plman/pkg-descr (new)
1.1 +8 -0 ports/math/plman/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200512210410.jBL4A9ro062014>