src/Pure/Concurrent/thread_data_virtual.ML
Tue, 26 Sep 2023 14:42:33 +0200 wenzelm clarified signature;
Tue, 26 Sep 2023 12:46:31 +0200 wenzelm tuned signature;
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