wenzelm [Sat, 31 Dec 2022 15:42:13 +0100] rev 76852
tunes signature;
wenzelm [Sat, 31 Dec 2022 15:32:12 +0100] rev 76851
clarified signature;
wenzelm [Sat, 31 Dec 2022 14:58:34 +0100] rev 76850
tuned signature;
wenzelm [Sat, 31 Dec 2022 14:54:20 +0100] rev 76849
more systematic Sessions.illegal_theory, based on File_Format.theory_excluded;
wenzelm [Sat, 31 Dec 2022 12:38:48 +0100] rev 76848
tuned;
wenzelm [Sat, 31 Dec 2022 12:35:00 +0100] rev 76847
unused;
wenzelm [Sat, 31 Dec 2022 12:31:31 +0100] rev 76846
tuned;
wenzelm [Sat, 31 Dec 2022 12:25:34 +0100] rev 76845
clarified modules;
wenzelm [Sat, 31 Dec 2022 12:16:22 +0100] rev 76844
tuned: no need to map master_dir, which does not participate in comparison;
wenzelm [Sat, 31 Dec 2022 12:10:14 +0100] rev 76843
tuned signature;
wenzelm [Sat, 31 Dec 2022 11:58:45 +0100] rev 76842
tuned signature;
wenzelm [Sat, 31 Dec 2022 11:51:04 +0100] rev 76841
tuned comments;
wenzelm [Sat, 31 Dec 2022 11:48:32 +0100] rev 76840
clarified signature;
wenzelm [Sat, 31 Dec 2022 11:35:28 +0100] rev 76839
tuned;
paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 12:24:00 +0000] rev 76838
removed an unfortunate sledgehammer command
paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 01:43:02 +0000] rev 76837
A couple of patches
paulson <lp15@cam.ac.uk> [Sun, 01 Jan 2023 00:45:55 +0000] rev 76836
Big simplifications of old proofs
paulson <lp15@cam.ac.uk> [Sat, 31 Dec 2022 11:09:19 +0000] rev 76835
repaired a proof
paulson <lp15@cam.ac.uk> [Fri, 30 Dec 2022 23:21:37 +0000] rev 76834
Continued proof simplifications
paulson [Fri, 30 Dec 2022 20:59:38 +0000] rev 76833
merged
paulson <lp15@cam.ac.uk> [Fri, 30 Dec 2022 17:48:41 +0000] rev 76832
A further round of proof consolidation
wenzelm [Fri, 30 Dec 2022 21:27:57 +0100] rev 76831
tuned signature: avoid too many aliases;
wenzelm [Fri, 30 Dec 2022 21:09:50 +0100] rev 76830
proper thread context (amending 01a7265db76b) -- at the danger of blocking the GUI;
wenzelm [Fri, 30 Dec 2022 20:38:29 +0100] rev 76829
more robust: avoid detour via somewhat fragile Node.Name.path;
wenzelm [Fri, 30 Dec 2022 20:26:28 +0100] rev 76828
clarified generic path operations;
wenzelm [Fri, 30 Dec 2022 16:23:32 +0100] rev 76827
more flexible: implicit support for Windows;
wenzelm [Fri, 30 Dec 2022 13:25:29 +0100] rev 76826
tuned signature;
wenzelm [Fri, 30 Dec 2022 12:41:08 +0100] rev 76825
clarified output;