| Sat, 04 Apr 2020 19:18:19 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 04 Apr 2020 18:13:05 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 04 Apr 2020 18:05:37 +0200 | wenzelm | thread pool with Standard_Thread workers; | changeset | files |
| Sat, 04 Apr 2020 17:50:56 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 04 Apr 2020 13:45:21 +0200 | wenzelm | support for uninterruptible execution; | changeset | files |
| Fri, 03 Apr 2020 20:49:49 +0200 | wenzelm | tuned -- prefer Config.T over Data; | changeset | files |
| Fri, 03 Apr 2020 20:31:55 +0200 | wenzelm | proper "editor_tracing_messages=0" as in "isabelle dump"; | changeset | files |
| Fri, 03 Apr 2020 20:29:54 +0200 | wenzelm | tuned; | changeset | files |