| Sat, 20 Nov 2010 00:53:26 +0100 |
wenzelm |
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
|
file |
diff |
annotate
|
| Thu, 29 Oct 2009 23:56:33 +0100 |
wenzelm |
eliminated some old folds;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Sun, 01 Mar 2009 23:36:12 +0100 |
wenzelm |
use long names for old-style fold combinators;
|
file |
diff |
annotate
|
| Thu, 04 Dec 2008 23:00:21 +0100 |
wenzelm |
renamed type Lazy.T to lazy;
|
file |
diff |
annotate
|
| Thu, 23 Oct 2008 14:22:16 +0200 |
wenzelm |
renamed structure Susp to Lazy, and Susp.delay to Lazy.lazy;
|
file |
diff |
annotate
|
| Thu, 23 Oct 2008 13:52:26 +0200 |
wenzelm |
do not open Susp;
|
file |
diff |
annotate
|
| Thu, 16 Nov 2006 01:07:25 +0100 |
wenzelm |
moved some fundamental concepts to General/basics.ML;
|
file |
diff |
annotate
|
| Tue, 19 Sep 2006 15:21:55 +0200 |
haftmann |
added suspensions in Pure
|
file |
diff |
annotate
|
| Fri, 17 Feb 2006 15:03:26 +0100 |
obua |
replaced Symbol.explode by explode
|
file |
diff |
annotate
|
| Thu, 16 Feb 2006 23:30:47 +0100 |
obua |
improved scanning
|
file |
diff |
annotate
|
| Wed, 15 Feb 2006 23:57:06 +0100 |
obua |
fixed bugs, added caching
|
file |
diff |
annotate
|
| Sat, 08 Oct 2005 22:39:40 +0200 |
wenzelm |
moved susp.ML, lazy_seq.ML, lazy_scan.ML to HOL/Import;
|
file |
diff |
annotate
|