| Mon, 31 Jan 2011 11:15:02 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 31 Jan 2011 11:14:05 +0100 | wenzelm | back to post-release mode; | changeset | files |
| Sun, 30 Jan 2011 22:44:02 +0100 | wenzelm | removed obsolete test tags; | changeset | files |
| Fri, 28 Jan 2011 11:26:08 +1100 | kleing | removed Florian's email from isatest (bounces) | changeset | files |
| Tue, 25 Jan 2011 09:45:45 +0100 | hoelzl | merged | changeset | files |
| Mon, 24 Jan 2011 22:29:50 +0100 | hoelzl | use pre-image measure, instead of image | changeset | files |
| Fri, 21 Jan 2011 11:39:26 +0100 | hoelzl | use AE_mp in AE_conjI proof | changeset | files |
| Wed, 19 Jan 2011 17:44:53 +0100 | hoelzl | tuned proof | changeset | files |
| Fri, 21 Jan 2011 10:43:09 +0100 | haftmann | merged | changeset | files |
| Fri, 21 Jan 2011 09:44:12 +0100 | haftmann | moved theorem | changeset | files |
| Fri, 21 Jan 2011 09:41:59 +0100 | haftmann | restructured theory; | changeset | files |
| Wed, 19 Jan 2011 11:34:10 +0100 | hoelzl | merged | changeset | files |