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 <[EMAIL PROTECTED]>
WWW: http://plman.sourceforge.net/
PR: ports/90277
Submitted by: Nicola Vitale <[EMAIL PROTECTED]>
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)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
