Thu, 27 Mar 2008 19:04:35 +0100 | haftmann | no "attach UNIV" any more | file | diff | annotate |
Wed, 02 Jan 2008 15:14:17 +0100 | haftmann | removed some legacy instantiations | file | diff | annotate |
Tue, 06 Nov 2007 17:44:53 +0100 | krauss | moved stuff about size change termination to its own session | file | diff | annotate |