diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2005-12-21 04:10:09 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2005-12-21 04:10:09 +0000 |
| commit | 7902abf65378b4eb9f22230358b999f18f0aa4b9 (patch) | |
| tree | 0458936889bed64d97985349e6d2089c62a99670 /math/Makefile | |
| parent | i[NEW PORT] x11-fonts/freefont-ttf: GPL'd UCS fonts in serif, sans, and mono (diff) | |
[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>
Notes
Notes:
svn path=/head/; revision=151700
Diffstat (limited to 'math/Makefile')
| -rw-r--r-- | math/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/Makefile b/math/Makefile index 9d1f54c9775f..f7bdcd15a6ee 100644 --- a/math/Makefile +++ b/math/Makefile @@ -208,6 +208,7 @@ SUBDIR += php5-bcmath SUBDIR += php5-gmp SUBDIR += physcalc + SUBDIR += plman SUBDIR += ploticus SUBDIR += ploticus-nox11 SUBDIR += plplot |