Tue, 18 Mar 1997 10:58:13 +0100 | Claus Gittinger | correctly compute height of the middle workspace | file | diff | annotate |
Wed, 15 Jan 1997 14:33:11 +0100 | ca | *** empty log message *** | file | diff | annotate |
Mon, 13 Jan 1997 17:41:10 +0100 | ca | intitial checkin | file | diff | annotate |