mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-22 04:17:44 +00:00
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>
12 lines
347 B
Plaintext
12 lines
347 B
Plaintext
$FreeBSD$
|
|
--- bin/plman Tue Nov 23 11:32:50 2004
|
|
+++ bin/plman.port Mon Dec 12 12:57:36 2005
|
|
@@ -1,6 +1,6 @@
|
|
#! /bin/sh
|
|
|
|
-PLMAN_PATH='MODIFY HERE!!' # Example: ~/bin/plman
|
|
+PLMAN_PATH='%%DATADIR%%' # Example: ~/bin/plman
|
|
|
|
# Execute plman
|
|
java -classpath "${PLMAN_PATH}/lib/plman.jar":"${PLMAN_PATH}/lib/ant.jar" PropositionalLogicParser $*
|