Mon, 13 May 1996 11:34:25 +0200 | Claus Gittinger | wrappers usable as label in Label/Button etc. | file | diff | annotate |
Mon, 13 May 1996 10:50:38 +0200 | Claus Gittinger | comments | file | diff | annotate |
Thu, 09 May 1996 01:16:39 +0200 | Claus Gittinger | checkin from browser | file | diff | annotate |
Thu, 09 May 1996 00:25:48 +0200 | Claus Gittinger | checkin from browser | file | diff | annotate |
Thu, 09 May 1996 00:14:40 +0200 | Claus Gittinger | checkin from browser | file | diff | annotate |
Thu, 09 May 1996 00:02:28 +0200 | Claus Gittinger | intitial checkin | file | diff | annotate |