Fri, 10 Feb 2012 23:49:17 +0100 | haftmann | tuned code | file | diff | annotate |
Fri, 10 Feb 2012 22:51:21 +0100 | haftmann | dropped dead code | file | diff | annotate |
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 |