| Mon, 02 Nov 2009 17:30:38 +0100 | wenzelm | DEEPEN: all tracing is subject to trace_DEEPEN (NB: Proof General tends to "popup" tracing output); | changeset | files |
| Mon, 02 Nov 2009 17:29:48 +0100 | wenzelm | back to warning -- Proof General tends to "popup" tracing output; | changeset | files |
| Mon, 02 Nov 2009 15:49:59 +0100 | boehmes | split parsing of counterexamples from translation into terms (avoids Term.dummyT and ill-typed terms) | changeset | files |
| Mon, 02 Nov 2009 09:01:18 +0100 | bulwahn | merged | changeset | files |
| Sat, 31 Oct 2009 10:02:37 +0100 | bulwahn | predicate compiler creates code equations for predicates with full mode | changeset | files |
| Fri, 30 Oct 2009 09:55:15 +0100 | bulwahn | renamed rpred to random | changeset | files |
| Sun, 01 Nov 2009 21:42:27 +0100 | wenzelm | Rules that characterize functional/relational specifications. | changeset | files |
| Sun, 01 Nov 2009 20:59:34 +0100 | wenzelm | adapted Item_Net; | changeset | files |