| Tue, 10 Sep 2013 11:57:53 +0200 | wenzelm | more portable hash-bang; | changeset | files |
| Tue, 10 Sep 2013 11:46:51 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 10 Sep 2013 00:22:12 +0200 | wenzelm | merged | changeset | files |
| Tue, 10 Sep 2013 00:18:30 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:11:02 +0200 | wenzelm | tuned proofs; | changeset | files |
| Mon, 09 Sep 2013 23:55:35 +0200 | blanchet | make facts like "mem_Collect_eq" more likely to be picked up by few-fact slices | changeset | files |
| 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 |