| Sat, 02 Apr 2016 21:10:07 +0200 |
wenzelm |
careful export of type-dependent functions, without losing their special status;
|
file |
diff |
annotate
|
| Tue, 03 Nov 2015 13:54:34 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 20 Aug 2011 20:00:55 +0200 |
wenzelm |
more direct balanced version Ord_List.unions;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2011 15:15:43 +0200 |
wenzelm |
tune Par_Exn.make: balance merge;
|
file |
diff |
annotate
|
| Thu, 18 Aug 2011 00:02:44 +0200 |
wenzelm |
follow updates of Isabelle/Pure;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2011 13:22:22 +0200 |
wenzelm |
disentangled nested ML files;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2011 12:49:14 +0200 |
wenzelm |
more trimming;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2011 12:30:41 +0200 |
wenzelm |
recovered some ML toplevel pp;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2011 12:24:10 +0200 |
wenzelm |
some trimming;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2011 12:11:50 +0200 |
wenzelm |
prefix of Pure/ROOT.ML required for concurrency within the ML runtime;
|
file |
diff |
annotate
|