blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48431
added SZS status wrappers in TPTP mode
blanchet [Wed, 18 Apr 2012 22:40:25 +0200] rev 48430
fixed Auto Nitpick's output
blanchet [Wed, 18 Apr 2012 22:39:35 +0200] rev 48429
phase out "$TPTP_PROBLEMS_PATH"; prefer "$TPTP" for consistency with CASC setup
blanchet [Wed, 18 Apr 2012 22:16:05 +0200] rev 48428
started integrating Nik's parser into TPTP command-line tools
wenzelm [Wed, 18 Apr 2012 21:28:49 +0200] rev 48427
merged
wenzelm [Wed, 18 Apr 2012 21:06:12 +0200] rev 48426
merged
wenzelm [Wed, 18 Apr 2012 20:42:55 +0200] rev 48425
more friendly sendback rendering, using green and "frisches Steingrau";
wenzelm [Wed, 18 Apr 2012 20:22:44 +0200] rev 48424
more robust Sendback handling: JVM/jEdit paranoia for case matching, treat Pretty body not just XML.Text, replace proper_range only (without trailing whitespace);
wenzelm [Wed, 18 Apr 2012 18:31:48 +0200] rev 48423
approximative file position for Pure entities;
wenzelm [Wed, 18 Apr 2012 17:32:34 +0200] rev 48422
render last ML_TYPING only -- relevant for inline antiquotations like @{term};