| Wed, 06 Sep 2023 20:51:28 +0200 | wenzelm | clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex, Thread.ConditionVar and de-emphasize them for Isabelle/ML; | file | diff | annotate |
| Wed, 06 Sep 2023 14:09:27 +0200 | wenzelm | more explicit type Isabelle_Thread.T; | file | diff | annotate |
| Tue, 28 Mar 2023 18:10:45 +0200 | wenzelm | tuned signature: more uniform structure Key; | file | diff | annotate |
| Mon, 27 Mar 2023 21:48:47 +0200 | wenzelm | performance tuning: prefer functor Set() over Table(); | file | diff | annotate |
| Wed, 15 Jul 2020 16:10:43 +0200 | wenzelm | clarified user counters: expose tasks to external monitor; | file | diff | annotate |
| Fri, 06 Jul 2018 16:29:47 +0200 | wenzelm | just one global lock for group status: avoid proliferation of mutexes, condvars; | file | diff | annotate |