@echo off
@rem ======================================
@rem DOS Batch file to invoke PLMan 
@rem ======================================

@rem Example: SET PLMAN_PATH=C:\cygwin\home\Administrator\bin\plman
REM SET PLMAN_PATH=C:\cygwin\home\Administrator\project\plman\dist
java -classpath %PLMAN_PATH%\lib\plman.jar;%PLMAN_PATH%\lib\ant.jar PropositionalLogicParser %1%

@echo on
