Thu, 10 Aug 2023 20:42:18 +0200 | wenzelm | Added tag Isabelle2023-RC3 for changeset f5fb5bb2533f | changeset | files |
Thu, 10 Aug 2023 20:39:28 +0200 | wenzelm | clarified option name (see also ff43a524aa5d); | changeset | files |
Thu, 10 Aug 2023 20:30:37 +0200 | wenzelm | more thorough ML_Heap.restore: include ancestors; prefer simultaneous ML_Heap.get_entries: just one database access for heap hierarchy; | changeset | files |