#
fd5f3b5a |
|
02-Apr-2016 |
wenzelm <none@none> |
careful export of type-dependent functions, without losing their special status;
|
#
ebff3653 |
|
03-Nov-2015 |
wenzelm <none@none> |
clarified modules; --HG-- rename : src/Pure/Concurrent/simple_thread.ML => src/Pure/Concurrent/standard_thread.ML rename : src/Pure/Concurrent/simple_thread.scala => src/Pure/Concurrent/standard_thread.scala
|
#
11f92502 |
|
20-Aug-2011 |
wenzelm <none@none> |
more direct balanced version Ord_List.unions;
|
#
24c637b9 |
|
18-Aug-2011 |
wenzelm <none@none> |
tune Par_Exn.make: balance merge; clarified Par_Exn.dest: later exceptions first;
|
#
3e5e967d |
|
17-Aug-2011 |
wenzelm <none@none> |
follow updates of Isabelle/Pure;
|
#
970dfa8f |
|
11-Aug-2011 |
wenzelm <none@none> |
disentangled nested ML files;
|
#
f311bc33 |
|
10-Aug-2011 |
wenzelm <none@none> |
more trimming;
|
#
faa19159 |
|
10-Aug-2011 |
wenzelm <none@none> |
recovered some ML toplevel pp;
|
#
67fd7990 |
|
10-Aug-2011 |
wenzelm <none@none> |
some trimming;
|
#
87ee6a50 |
|
10-Aug-2011 |
wenzelm <none@none> |
prefix of Pure/ROOT.ML required for concurrency within the ML runtime;
|