| Wed, 10 Aug 2011 20:53:43 +0200 | wenzelm | old term operations are legacy; | file | diff | annotate |
| Tue, 02 Nov 2010 20:15:57 +0100 | wenzelm | eliminated fragile catch-all pattern, based on educated guess about the intended exception; | file | diff | annotate |
| Tue, 13 Jul 2010 11:38:04 +0200 | haftmann | corrected title | file | diff | annotate |
| Mon, 12 Jul 2010 08:58:12 +0200 | haftmann | more regular session structure | file | diff | annotate | base |