| 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 |
| Sat, 02 Jun 2018 21:59:11 +0200 | wenzelm | record active execution task and depend on it -- avoid new executions bumping into old ones; | file | diff | annotate |
| Wed, 09 May 2018 19:53:37 +0200 | wenzelm | record total number of tasks; | file | diff | annotate |