Thu, 07 Apr 2016 13:54:02 +0200 |
wenzelm |
simplified default print_depth: context is usually available, in contrast to 0d295e339f52;
|
file |
diff |
annotate
|
Thu, 07 Apr 2016 13:35:08 +0200 |
wenzelm |
clarified bootstrap of @{make_string} -- avoid query on ML environment;
|
file |
diff |
annotate
|
Mon, 04 Apr 2016 19:48:54 +0200 |
wenzelm |
clarified conditional compilation;
|
file |
diff |
annotate
|
Thu, 17 Mar 2016 16:56:44 +0100 |
wenzelm |
@{make_string} is available during Pure bootstrap;
|
file |
diff |
annotate
|
Mon, 08 Dec 2014 22:42:12 +0100 |
wenzelm |
expand ML cartouches to Input.source;
|
file |
diff |
annotate
|
Tue, 19 Aug 2014 23:17:51 +0200 |
wenzelm |
tuned signature -- moved type src to Token, without aliases;
|
file |
diff |
annotate
|
Thu, 31 Jul 2014 20:59:10 +0200 |
wenzelm |
clarified compile-time use of ML_print_depth;
|
file |
diff |
annotate
|
Thu, 01 May 2014 09:30:35 +0200 |
haftmann |
optional case enforcement
|
file |
diff |
annotate
|
Sun, 06 Apr 2014 15:43:45 +0200 |
wenzelm |
more source positions;
|
file |
diff |
annotate
|
Tue, 18 Mar 2014 16:16:28 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 12 Mar 2014 22:57:50 +0100 |
wenzelm |
tuned signature -- clarified module name;
|
file |
diff |
annotate
| base
|