Mon, 09 Sep 2013 23:54:59 +0200 | blanchet | since "full_proofs" can influence the proof search significantly (e.g. by disabling splitting for SPASS), it shouldn't be affected by the "debug" flag in the interest of minimizing confusion | changeset | files |
Mon, 09 Sep 2013 23:09:37 +0200 | blanchet | more docs | changeset | files |
Mon, 09 Sep 2013 20:24:15 +0200 | wenzelm | merged | changeset | files |