| Thu, 05 Jan 2023 21:14:37 +0100 | wenzelm | more options; | changeset | files |
| Thu, 05 Jan 2023 20:44:10 +0100 | wenzelm | tuned message; | changeset | files |
| Thu, 05 Jan 2023 20:25:41 +0100 | wenzelm | isabelle update no longer uses PIDE dump, but regular session build database: more scalable; | changeset | files |