Tue, 08 Aug 2006 16:17:30 +0200 | Claus Gittinger | *** empty log message *** | file | diff | annotate |
Tue, 08 Aug 2006 16:14:00 +0200 | Claus Gittinger | *** empty log message *** | file | diff | annotate |
Mon, 27 Jun 2005 12:24:19 +0200 | Claus Gittinger | +isAbstract | file | diff | annotate |
Fri, 19 Jun 1998 00:57:23 +0200 | Claus Gittinger | initial checkin | file | diff | annotate |