Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 27 Feb 2023 20:39:08 +0100 tuned;
changeset
wenzelm [Mon, 27 Feb 2023 20:39:08 +0100] rev 77404
tuned;
Mon, 27 Feb 2023 20:30:40 +0100 clarified signature, although "sql" argument is de-facto mandatory;
changeset
wenzelm [Mon, 27 Feb 2023 20:30:40 +0100] rev 77403
clarified signature, although "sql" argument is de-facto mandatory;
Mon, 27 Feb 2023 20:25:10 +0100 tuned;
changeset
wenzelm [Mon, 27 Feb 2023 20:25:10 +0100] rev 77402
tuned;
Mon, 27 Feb 2023 20:09:58 +0100 proper SQL (amending 7ab9bac1ca96);
changeset
wenzelm [Mon, 27 Feb 2023 20:09:58 +0100] rev 77401
proper SQL (amending 7ab9bac1ca96);
Mon, 27 Feb 2023 15:31:19 +0100 clarified signature: more explicit "synchronized" regions;
changeset
wenzelm [Mon, 27 Feb 2023 15:31:19 +0100] rev 77400
clarified signature: more explicit "synchronized" regions;
Mon, 27 Feb 2023 15:25:46 +0100 more robust interrupt handling, notably for Build_Job.terminate();
changeset
wenzelm [Mon, 27 Feb 2023 15:25:46 +0100] rev 77399
more robust interrupt handling, notably for Build_Job.terminate();
Mon, 27 Feb 2023 15:09:59 +0100 clarified signature: works for general Build_Job;
changeset
wenzelm [Mon, 27 Feb 2023 15:09:59 +0100] rev 77398
clarified signature: works for general Build_Job;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip
isabelle