src/Pure/Concurrent/thread_data_virtual.ML
Wed, 20 Oct 2021 18:13:17 +0200 wenzelm discontinued obsolete "val extend = I" for data slots;
Sat, 09 Apr 2016 14:00:23 +0200 wenzelm clarified bootstrap;
Wed, 06 Apr 2016 19:03:29 +0200 wenzelm virtual thread data via context, for proper support of Context.>> etc;
less more (0) tip