Wed, 19 Jan 1994 14:10:54 +0100 | wenzelm | major cleanup and reorganisation; | file | diff | annotate |
Wed, 29 Dec 1993 10:14:58 +0100 | wenzelm | added sys_error; | file | diff | annotate |
Tue, 30 Nov 1993 11:07:57 +0100 | wenzelm | changed split_filename, remove_ext; | file | diff | annotate |
Mon, 29 Nov 1993 11:08:17 +0100 | wenzelm | added equal, not_equal: ''a -> ''a -> bool | file | diff | annotate |
Fri, 08 Oct 1993 12:35:53 +0100 | wenzelm | added cons, rcons, last_elem, sort_strings, take_suffix; | file | diff | annotate |
Tue, 05 Oct 1993 13:15:01 +0100 | clasohm | added functions that operate on filenames: split_filename (originally located | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |