Tue, 17 May 2005 18:10:31 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 13 Apr 2005 18:45:25 +0200 | wenzelm | *** MESSAGE REFERS TO PREVIOUS VERSION *** | file | diff | annotate |
Wed, 13 Apr 2005 18:34:22 +0200 | wenzelm | *** empty log message *** | file | diff | annotate |
Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
Sun, 13 Feb 2005 17:15:14 +0100 | skalberg | Deleted Library.option type. | file | diff | annotate |
Tue, 29 Jun 2004 11:18:34 +0200 | kleing | license change to BSD | file | diff | annotate |
Fri, 07 May 2004 20:33:37 +0200 | wenzelm | be liberal about constant names; | file | diff | annotate |
Fri, 23 Apr 2004 20:50:51 +0200 | wenzelm | improved messages; | file | diff | annotate |
Thu, 22 Apr 2004 13:26:47 +0200 | wenzelm | 'constdefs' with automatic type-inference and structure context; | file | diff | annotate |