Mon, 05 Dec 2011 16:12:44 +0000 | Christian Urban | deleted old strong_exhaust proof | changeset | files |
Mon, 05 Dec 2011 15:34:12 +0000 | Christian Urban | tuned | changeset | files |
Wed, 30 Nov 2011 14:58:19 +0000 | Christian Urban | silly syntax bug | changeset | files |
Wed, 30 Nov 2011 13:56:21 +0000 | Christian Urban | updated to changes in the quotient package (patch by Ondrej Kuncar) | changeset | files |