#! /bin/sh

PLMAN_PATH='MODIFY HERE!!'		# Example: ~/bin/plman

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