Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2000-05-29 22:28:42 -0700 (Mon, 29 May 2000)
Revision: 2995
Log message:
Moved Jprover output parsing into the JLogic interface. Still need to write the
output parsing for ITT_JLogic.
Eliminated some excessive whitespace from jall.ml
Eliminated some unnecessary exception handling code from jall.ml