| Tue, 10 Jan 2023 11:06:20 +0000 | paulson | merged | changeset | files |
| Mon, 09 Jan 2023 17:16:22 +0000 | paulson | merged | changeset | files |
| Mon, 09 Jan 2023 17:16:04 +0000 | paulson | Substantial de-applying and streamlining | changeset | files |
| Mon, 09 Jan 2023 19:52:32 +0100 | desharna | tuned sledgehammer default provers to only include local ones | changeset | files |
| Fri, 06 Jan 2023 17:59:56 +0100 | wenzelm | enforce rebuild of Isabelle/ML to update build databases; | changeset | files |
| Fri, 06 Jan 2023 17:58:49 +0100 | wenzelm | prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21: | changeset | files |
| Fri, 06 Jan 2023 17:20:53 +0100 | wenzelm | proper treatment of unicode_symbols; | changeset | files |