7902abf653
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>
8 lines
199 B
Text
8 lines
199 B
Text
@comment $FreeBSD$
|
|
bin/plman
|
|
%%PORTDOCS%%%%DOCSDIR%%/PLMan_Users_Manual.pdf
|
|
%%DATADIR%%/lib/ant.jar
|
|
%%DATADIR%%/lib/plman.jar
|
|
%%PORTDOCS%%@dirrm %%DOCSDIR%%
|
|
@dirrm %%DATADIR%%/lib
|
|
@dirrm %%DATADIR%%
|