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 |
Fri, 06 Jan 2023 16:54:16 +0100 | wenzelm | tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status; | changeset | files |
Fri, 06 Jan 2023 16:50:43 +0100 | wenzelm | removed unused operation: unclear wrt. Symbol.encode/decode status; | changeset | files |