paulson <lp15@cam.ac.uk> [Wed, 11 Jan 2023 13:41:53 +0000] rev 76943
Partial round of clearing up applys, etc
paulson [Tue, 10 Jan 2023 11:06:20 +0000] rev 76942
merged
paulson [Mon, 09 Jan 2023 17:16:22 +0000] rev 76941
merged
paulson <lp15@cam.ac.uk> [Mon, 09 Jan 2023 17:16:04 +0000] rev 76940
Substantial de-applying and streamlining
desharna [Mon, 09 Jan 2023 19:52:32 +0100] rev 76939
tuned sledgehammer default provers to only include local ones
wenzelm [Fri, 06 Jan 2023 17:59:56 +0100] rev 76938
enforce rebuild of Isabelle/ML to update build databases;
wenzelm [Fri, 06 Jan 2023 17:58:49 +0100] rev 76937
prefer relative src_path (if possible) -- in contrast to 9ce0aa145d21:
wenzelm [Fri, 06 Jan 2023 17:20:53 +0100] rev 76936
proper treatment of unicode_symbols;
wenzelm [Fri, 06 Jan 2023 16:54:16 +0100] rev 76935
tuned signature: avoid alias that is unclear wrt. lazy state and Symbol.encode/decode status;
wenzelm [Fri, 06 Jan 2023 16:50:43 +0100] rev 76934
removed unused operation: unclear wrt. Symbol.encode/decode status;