wenzelm [Fri, 06 Jan 2023 14:37:55 +0100] rev 76929
restrict to proper_session_theories;
wenzelm [Fri, 06 Jan 2023 13:09:08 +0100] rev 76928
proper build parameters (amending d858e6f15da3);
wenzelm [Fri, 06 Jan 2023 13:06:03 +0100] rev 76927
treat update_options as part of Sessions.Info meta_digest, for proper re-build of updated sessions;
wenzelm [Fri, 06 Jan 2023 12:05:32 +0100] rev 76926
more command-line options;
wenzelm [Thu, 05 Jan 2023 22:30:20 +0100] rev 76925
tuned options --- avoid confusion with "isabelle build -b";
wenzelm [Thu, 05 Jan 2023 22:16:13 +0100] rev 76924
tuned signature;
wenzelm [Thu, 05 Jan 2023 21:33:49 +0100] rev 76923
isabelle update -u path_cartouches;
wenzelm [Thu, 05 Jan 2023 21:18:55 +0100] rev 76922
merged
wenzelm [Thu, 05 Jan 2023 21:14:53 +0100] rev 76921
updated documentation;
wenzelm [Thu, 05 Jan 2023 21:14:37 +0100] rev 76920
more options;
tuned messages;
wenzelm [Thu, 05 Jan 2023 20:44:10 +0100] rev 76919
tuned message;
wenzelm [Thu, 05 Jan 2023 20:25:41 +0100] rev 76918
isabelle update no longer uses PIDE dump, but regular session build database: more scalable;
misc tuning and clarification;
wenzelm [Thu, 05 Jan 2023 20:13:04 +0100] rev 76917
more robust;
wenzelm [Thu, 05 Jan 2023 20:07:22 +0100] rev 76916
more operations;
more robust;
wenzelm [Thu, 05 Jan 2023 19:41:12 +0100] rev 76915
proper Node.init_blobs, not just edits (amending ca872f20cf5b);
wenzelm [Thu, 05 Jan 2023 17:14:29 +0100] rev 76914
tuned signature;
wenzelm [Thu, 05 Jan 2023 17:00:22 +0100] rev 76913
tuned signature;
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