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, 25 Sep 2023 21:46:38 +0200 clarified modules;
changeset
wenzelm [Mon, 25 Sep 2023 21:46:38 +0200] rev 78713
clarified modules;
Mon, 25 Sep 2023 21:36:46 +0200 unused;
changeset
wenzelm [Mon, 25 Sep 2023 21:36:46 +0200] rev 78712
unused;
Mon, 25 Sep 2023 21:30:46 +0200 clarified order of modules: early access to interrupt management of Isabelle_Threads;
changeset
wenzelm [Mon, 25 Sep 2023 21:30:46 +0200] rev 78711
clarified order of modules: early access to interrupt management of Isabelle_Threads;
Mon, 25 Sep 2023 21:09:25 +0200 tuned: prefer antiquotation for try-catch;
changeset
wenzelm [Mon, 25 Sep 2023 21:09:25 +0200] rev 78710
tuned: prefer antiquotation for try-catch;
Mon, 25 Sep 2023 20:56:44 +0200 tuned: prefer antiquotation for try-catch;
changeset
wenzelm [Mon, 25 Sep 2023 20:56:44 +0200] rev 78709
tuned: prefer antiquotation for try-catch;
Mon, 25 Sep 2023 19:49:25 +0200 tuned: prefer antiquotation for try-finally;
changeset
wenzelm [Mon, 25 Sep 2023 19:49:25 +0200] rev 78708
tuned: prefer antiquotation for try-finally;
Mon, 25 Sep 2023 19:28:14 +0200 omit pointless capture/release (see also 469a375212c1);
changeset
wenzelm [Mon, 25 Sep 2023 19:28:14 +0200] rev 78707
omit pointless capture/release (see also 469a375212c1);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 tip
isabelle