| Tue, 24 Jul 2012 14:07:44 +0200 | wenzelm | more session ROOT files; | file | diff | annotate |
| Tue, 29 Mar 2011 23:27:38 +0200 | wenzelm | modernized specifications -- less axioms; | file | diff | annotate |
| Wed, 12 Jan 2011 16:33:04 +0100 | wenzelm | eliminated global prems; | file | diff | annotate |
| Fri, 03 Sep 2010 23:54:48 +0200 | wenzelm | turned eta_contract into proper configuration option; | file | diff | annotate |
| Tue, 17 Aug 2010 19:36:38 +0200 | haftmann | deglobalization | file | diff | annotate |
| Thu, 11 Feb 2010 22:19:58 +0100 | wenzelm | modernized translations; | file | diff | annotate |
| Mon, 08 Feb 2010 21:28:27 +0100 | wenzelm | modernized some syntax translations; | file | diff | annotate |