| 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 |