| Wed, 21 Feb 2024 19:54:17 +0100 | wenzelm | more accurate types; | changeset | files |
| Wed, 21 Feb 2024 19:36:53 +0100 | wenzelm | build local log_db, with store/restore via optional database server; | changeset | files |
| Wed, 21 Feb 2024 11:43:30 +0100 | wenzelm | propagate property "isabelle.debug", notably for Java/Scala exception trace; | changeset | files |
| Mon, 19 Feb 2024 16:25:06 +0100 | wenzelm | tuned; | changeset | files |