| Thu, 07 Oct 2010 13:18:48 -0700 | huffman | remove some junk that made it in by accient | changeset | files |
| Mon, 11 Oct 2010 18:03:47 +0700 | blanchet | "setup" in theory | changeset | files |
| Mon, 11 Oct 2010 18:03:18 +0700 | blanchet | added "trace_meson" configuration option, replacing old-fashioned reference | changeset | files |
| Mon, 11 Oct 2010 18:02:14 +0700 | blanchet | added "trace_metis" configuration option, replacing old-fashioned references | changeset | files |
| Sun, 10 Oct 2010 23:16:24 +0200 | krauss | do not mention unqualified names, now that 'global' and 'local' are gone | changeset | files |
| Sun, 10 Oct 2010 16:34:20 +0200 | nipkow | simplified proof | changeset | files |
| Sun, 10 Oct 2010 18:42:13 +0700 | blanchet | avoid generating several formulas with the same name ("tfrees") | changeset | files |