Model output is now const; this related to bug 519
support for TFF0 with arith
enable $to_int, $to_rat, $to_real, $is_int
work on $ite_t/$ite_f
regression tests for FOF/CNF/TFF/TFA, and a fix for pretty-printing output status according to SZS ontology
model output for tptp also in pretty-printer
work on $let_**
a variety of improvements to TPTP TFF parsing; only outstanding issue is $let_??, for which I've written to geoff sutcliffe
more fixes
fix typing in TPTP parser
a variety of TPTP TFF- and TFA-related fixes
minor fixes to TFA support, also fixed regressions