| Mon, 27 Jul 2009 21:47:41 +0200 | krauss | "more standard" argument order of relation composition (op O) | file | diff | annotate |
| Tue, 23 Jun 2009 12:09:30 +0200 | haftmann | uniformly capitialized names for subdirectories | file | diff | annotate |
| Fri, 19 Jun 2009 17:23:21 +0200 | haftmann | discontinued ancient tradition to suffix certain ML module names with "_package" | file | diff | annotate |
| Thu, 12 Mar 2009 21:29:04 +0100 | wenzelm | keep dead code fresh; | file | diff | annotate |
| Wed, 11 Mar 2009 15:56:49 +0100 | haftmann | min_weak_def [code del] | file | diff | annotate |
| Wed, 11 Mar 2009 08:45:46 +0100 | haftmann | explicitly delete some code equations | file | diff | annotate |
| Wed, 21 Jan 2009 16:47:31 +0100 | haftmann | dropped ID | file | diff | annotate |