| Mon, 29 Sep 1997 15:08:47 +0200 |
wenzelm |
margin 76 (2nd try :-);
|
file |
diff |
annotate
|
| Mon, 29 Sep 1997 14:10:52 +0200 |
wenzelm |
default margin 76 (to accomodate warning and error default output);
|
file |
diff |
annotate
|
| Fri, 28 Feb 1997 16:41:04 +0100 |
wenzelm |
added strlen (includes metric information);
|
file |
diff |
annotate
|
| Fri, 01 Nov 1996 15:39:37 +0100 |
paulson |
Now uses Int.max instead of max
|
file |
diff |
annotate
|
| Fri, 16 Feb 1996 14:38:49 +0100 |
paulson |
Elimination of fully-functorial style.
|
file |
diff |
annotate
|
| 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
|