| 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 |
| Mon, 19 Feb 2024 16:04:00 +0100 | wenzelm | proper treatment of "isabelle build_process -C" (amending 0cac7e3634d0); | changeset | files |