| Thu, 10 Nov 2011 22:54:15 +0100 | wenzelm | suppress irrelevant positions; | changeset | files |
| Thu, 10 Nov 2011 22:39:32 +0100 | wenzelm | more generous margin; | changeset | files |
| Thu, 10 Nov 2011 22:32:10 +0100 | wenzelm | pass term positions into check phase, where resulting types are reported accordingly, and eventually shown as tooltips; | changeset | files |
| Thu, 10 Nov 2011 17:47:25 +0100 | wenzelm | tuned signature; | changeset | files |
| Thu, 10 Nov 2011 17:41:36 +0100 | wenzelm | discontinued unused Thm.compress (again); | changeset | files |
| Thu, 10 Nov 2011 17:28:02 +0100 | bulwahn | renewed prolog-quickcheck | changeset | files |
| Thu, 10 Nov 2011 17:26:17 +0100 | bulwahn | adding some test cases for preprocessing and narrowing | changeset | files |
| Thu, 10 Nov 2011 17:26:15 +0100 | bulwahn | adding a minimalistic preprocessing rewriting common boolean operators; tuned | changeset | files |