K 10
svn:author
V 5
edwin
K 8
svn:date
V 27
2005-12-21T04:10:09.000000Z
K 7
svn:log
V 529
[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>

END