wenzelm [Mon, 02 Jan 2023 12:29:08 +0100] rev 76860
clarified signature: uniform master_dir instead of separate field;
wenzelm [Mon, 02 Jan 2023 11:57:57 +0100] rev 76859
more standard master_dir;
wenzelm [Sun, 01 Jan 2023 22:54:40 +0100] rev 76858
tuned signature, following Url.append_path;
wenzelm [Sun, 01 Jan 2023 22:01:53 +0100] rev 76857
merged
wenzelm [Sun, 01 Jan 2023 22:01:45 +0100] rev 76856
more robust, for the sake of very rare duplicate files: src/Doc/Prog_Prove/MyList.thy and $AFP/Case_Labeling/util.ML;
wenzelm [Sun, 01 Jan 2023 21:44:08 +0100] rev 76855
store session sources within build database: timing e.g. 150ms for HOL and < 50ms for common sessions;
enforce rebuild of Isabelle/ML to update build databases;
wenzelm [Sat, 31 Dec 2022 15:48:12 +0100] rev 76854
tuned signature;
wenzelm [Sat, 31 Dec 2022 15:45:53 +0100] rev 76853
tuned;
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;