| 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 |