#! /bin/sh

PLMAN_PATH='/usr/local/share/java/plman'		# Example: ~/bin/plman

# Execute plman
java -classpath "${PLMAN_PATH}/lib/plman.jar":"${PLMAN_PATH}/lib/ant.jar" PropositionalLogicParser $*
