| Sun, 06 Nov 2011 11:13:47 +0100 | blanchet | repaired quantification over type variables for non-TFF1/THF encodings | changeset | files |
| Sun, 06 Nov 2011 18:42:15 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 06 Nov 2011 17:53:32 +0100 | wenzelm | misc tuning and modernization; | changeset | files |
| Sun, 06 Nov 2011 17:05:45 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 06 Nov 2011 17:00:05 +0100 | wenzelm | some statespace benchmarks; | changeset | files |
| Sun, 06 Nov 2011 16:41:53 +0100 | wenzelm | write changed .prv files only, to avoid writing into src file-space by default; | changeset | files |
| Sun, 06 Nov 2011 16:29:22 +0100 | wenzelm | tuned document; | changeset | files |