| Thu, 24 Nov 2011 21:15:20 +0100 |
wenzelm |
more abstract datatype stamp, which avoids pointless allocation of mutable cells;
|
file |
diff |
annotate
|
| Thu, 01 Sep 2011 14:10:52 +0200 |
wenzelm |
more flexible sorting;
|
file |
diff |
annotate
|
| Wed, 13 Jul 2011 20:13:27 +0200 |
wenzelm |
low-level tuning;
|
file |
diff |
annotate
|
| Mon, 04 Jul 2011 16:51:45 +0200 |
wenzelm |
pervasive Basic_Library in Scala;
|
file |
diff |
annotate
|
| Thu, 30 Jun 2011 13:59:55 +0200 |
wenzelm |
getenv_strict in ML;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 15:03:55 +0200 |
wenzelm |
old gensym is now legacy -- global state is out of fashion, and its result is not guaranteed to be fresh;
|
file |
diff |
annotate
|
| Wed, 08 Jun 2011 15:56:57 +0200 |
wenzelm |
more robust exception pattern General.Subscript;
|
file |
diff |
annotate
|
| Tue, 19 Apr 2011 15:58:05 +0200 |
wenzelm |
slightly more special eq_list/eq_set, with shortcut involving pointer_eq;
|
file |
diff |
annotate
|
| Wed, 12 Jan 2011 14:07:29 +0100 |
wenzelm |
smart_string_of_real: print integer values without fractional part;
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 16:56:47 +0100 |
wenzelm |
made SML/NJ happy;
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 16:07:16 +0100 |
wenzelm |
tuned string_of_int to avoid allocation for small integers;
|
file |
diff |
annotate
|
| Mon, 10 Jan 2011 15:19:48 +0100 |
wenzelm |
standardized split_last/last_elem towards List.last;
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 17:29:27 +0100 |
wenzelm |
removed confusing comments (cf. 500171e7aa59);
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 10:17:55 +0100 |
krauss |
really fixed comment (cf. 7abeb749ae99)
|
file |
diff |
annotate
|
| Fri, 03 Dec 2010 08:40:47 +0100 |
bulwahn |
fixing comment in library
|
file |
diff |
annotate
|