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