Fri, 19 Aug 1994 15:36:45 +0200 | wenzelm | added map_strs: (string -> string) -> T -> T; | file | diff | annotate |
Fri, 12 Aug 1994 10:57:55 +0200 | lcp | Pure/library/enclose, Pure/Syntax/pretty/enclose: renamed from parents | file | diff | annotate |
Thu, 03 Feb 1994 14:00:36 +0100 | wenzelm | added strs, big_list, writeln; | file | diff | annotate |
Wed, 19 Jan 1994 14:15:01 +0100 | wenzelm | added some utils: commas, breaks, fbreaks, block, parents, list, str_list; | file | diff | annotate |
Mon, 15 Nov 1993 12:58:21 +0100 | lcp | Added commentary | file | diff | annotate |
Mon, 04 Oct 1993 15:30:49 +0100 | wenzelm | lots of internal cleaning and tuning; | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |