Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 10 Mar 2024 17:30:23 +0100 maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid;
changeset
wenzelm [Sun, 10 Mar 2024 17:30:23 +0100] rev 79850
maintain short build_id vs. build_uuid, similar to Database_Progress context/context_uuid; clarified database table "isabelle_build_updates";
Sun, 10 Mar 2024 14:20:20 +0100 more operations;
changeset
wenzelm [Sun, 10 Mar 2024 14:20:20 +0100] rev 79849
more operations;
Sun, 10 Mar 2024 13:32:15 +0100 clarified signature: init_state vs. init_unsynchronized;
changeset
wenzelm [Sun, 10 Mar 2024 13:32:15 +0100] rev 79848
clarified signature: init_state vs. init_unsynchronized;
Sun, 10 Mar 2024 12:03:46 +0100 more thorough "isabelle build_process -C -r -f";
changeset
wenzelm [Sun, 10 Mar 2024 12:03:46 +0100] rev 79847
more thorough "isabelle build_process -C -r -f";
Sun, 10 Mar 2024 12:03:13 +0100 more operations;
changeset
wenzelm [Sun, 10 Mar 2024 12:03:13 +0100] rev 79846
more operations;
Sun, 10 Mar 2024 11:51:56 +0100 tuned signature;
changeset
wenzelm [Sun, 10 Mar 2024 11:51:56 +0100] rev 79845
tuned signature;
Sun, 10 Mar 2024 10:50:12 +0100 tuned signature: more uniform SQL.Data instances;
changeset
wenzelm [Sun, 10 Mar 2024 10:50:12 +0100] rev 79844
tuned signature: more uniform SQL.Data instances;
Sun, 10 Mar 2024 10:40:48 +0100 tuned signature;
changeset
wenzelm [Sun, 10 Mar 2024 10:40:48 +0100] rev 79843
tuned signature;
Sun, 10 Mar 2024 10:37:28 +0100 tuned signature;
changeset
wenzelm [Sun, 10 Mar 2024 10:37:28 +0100] rev 79842
tuned signature;
Sat, 09 Mar 2024 22:04:07 +0100 disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
changeset
wenzelm [Sat, 09 Mar 2024 22:04:07 +0100] rev 79841
disable write_updates from f425bbc4b2eb for now: "isabelle build_process -rf" does not quite work yet;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
isabelle