src/Pure/Syntax/pretty.ML
Fri, 31 Jul 1998 11:33:53 +0200 wenzelm Pretty.sym;
Mon, 29 Sep 1997 15:08:47 +0200 wenzelm margin 76 (2nd try :-);
Mon, 29 Sep 1997 14:10:52 +0200 wenzelm default margin 76 (to accomodate warning and error default output);
Fri, 28 Feb 1997 16:41:04 +0100 wenzelm added strlen (includes metric information);
Fri, 01 Nov 1996 15:39:37 +0100 paulson Now uses Int.max instead of max
Fri, 16 Feb 1996 14:38:49 +0100 paulson Elimination of fully-functorial style.
Fri, 19 Aug 1994 15:36:45 +0200 wenzelm added map_strs: (string -> string) -> T -> T;
Fri, 12 Aug 1994 10:57:55 +0200 lcp Pure/library/enclose, Pure/Syntax/pretty/enclose: renamed from parents
Thu, 03 Feb 1994 14:00:36 +0100 wenzelm added strs, big_list, writeln;
Wed, 19 Jan 1994 14:15:01 +0100 wenzelm added some utils: commas, breaks, fbreaks, block, parents, list, str_list;
Mon, 15 Nov 1993 12:58:21 +0100 lcp Added commentary
Mon, 04 Oct 1993 15:30:49 +0100 wenzelm lots of internal cleaning and tuning;
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip