wenzelm [Thu, 05 Jan 2023 16:44:15 +0100] rev 76912
clarified session sources: theory and blobs are read from database, instead of physical file-system;
wenzelm [Thu, 05 Jan 2023 12:43:05 +0100] rev 76911
tuned;
wenzelm [Wed, 04 Jan 2023 16:40:02 +0100] rev 76910
clarified signature: more operations;
wenzelm [Wed, 04 Jan 2023 16:06:46 +0100] rev 76909
clarified signature: more operations;
wenzelm [Wed, 04 Jan 2023 15:53:36 +0100] rev 76908
tuned;
wenzelm [Wed, 04 Jan 2023 15:42:00 +0100] rev 76907
more direct access to session_sources, without somewhat fragile file-system operations;
wenzelm [Wed, 04 Jan 2023 15:02:48 +0100] rev 76906
tuned;
wenzelm [Wed, 04 Jan 2023 14:56:22 +0100] rev 76905
tuned signature;
wenzelm [Wed, 04 Jan 2023 14:50:11 +0100] rev 76904
tuned signature: avoid confusion with Document.Node.Blob and Command.Blob;
wenzelm [Wed, 04 Jan 2023 14:35:19 +0100] rev 76903
clarified signature: old node is ignored;
wenzelm [Wed, 04 Jan 2023 14:26:30 +0100] rev 76902
tuned;
wenzelm [Wed, 04 Jan 2023 13:39:40 +0100] rev 76901
clarified signature;
paulson <lp15@cam.ac.uk> [Wed, 04 Jan 2023 19:06:16 +0000] rev 76900
final tidying of theorems
paulson [Wed, 04 Jan 2023 17:46:27 +0000] rev 76899
merged
paulson [Wed, 04 Jan 2023 10:27:32 +0000] rev 76898
merged
paulson <lp15@cam.ac.uk> [Wed, 04 Jan 2023 10:27:19 +0000] rev 76897
continued proof simplification
paulson [Tue, 03 Jan 2023 19:55:35 +0000] rev 76896
merged
paulson <lp15@cam.ac.uk> [Tue, 03 Jan 2023 19:55:24 +0000] rev 76895
Further simplifications
paulson <lp15@cam.ac.uk> [Tue, 03 Jan 2023 17:02:41 +0000] rev 76894
More tidying of proofs
wenzelm [Wed, 04 Jan 2023 13:21:45 +0100] rev 76893
tuned;
wenzelm [Tue, 03 Jan 2023 21:22:24 +0100] rev 76892
merged
wenzelm [Tue, 03 Jan 2023 21:22:04 +0100] rev 76891
discontinued fragile operation;
wenzelm [Tue, 03 Jan 2023 21:18:15 +0100] rev 76890
more robust operations: avoid somewhat fragile Document.Node.Name.master_dir_path;
wenzelm [Tue, 03 Jan 2023 20:46:56 +0100] rev 76889
tuned whitespace;