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 +1000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Thu, 28 Mar 2024 11:35:39 +0100 tuned;
changeset
wenzelm [Thu, 28 Mar 2024 11:35:39 +0100] rev 80049
tuned;
Thu, 28 Mar 2024 11:29:25 +0100 tuned signature;
changeset
wenzelm [Thu, 28 Mar 2024 11:29:25 +0100] rev 80048
tuned signature;
Thu, 28 Mar 2024 08:30:42 +0100 merged
changeset
desharna [Thu, 28 Mar 2024 08:30:42 +0100] rev 80047
merged
Wed, 27 Mar 2024 11:49:42 +0100 added lemma wfp_on_image and author name to theory
changeset
desharna [Wed, 27 Mar 2024 11:49:42 +0100] rev 80046
added lemma wfp_on_image and author name to theory
Wed, 27 Mar 2024 22:56:03 +0100 proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
changeset
wenzelm [Wed, 27 Mar 2024 22:56:03 +0100] rev 80045
proper ISABELLE_GO_SETUP, e.g. for AFP/Go compiler tests;
Wed, 27 Mar 2024 22:12:37 +0100 proper "isabelle go_setup" for Jenkins;
changeset
wenzelm [Wed, 27 Mar 2024 22:12:37 +0100] rev 80044
proper "isabelle go_setup" for Jenkins;
Wed, 27 Mar 2024 21:51:03 +0100 dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
changeset
wenzelm [Wed, 27 Mar 2024 21:51:03 +0100] rev 80043
dummy Admin/components/go to avoid crash of Jenkins (see 38bbc2ff3c24);
Wed, 27 Mar 2024 17:51:37 +0100 tuned message;
changeset
wenzelm [Wed, 27 Mar 2024 17:51:37 +0100] rev 80042
tuned message;
Wed, 27 Mar 2024 17:39:46 +0100 merged
changeset
wenzelm [Wed, 27 Mar 2024 17:39:46 +0100] rev 80041
merged
Wed, 27 Mar 2024 17:39:28 +0100 tuned NEWS;
changeset
wenzelm [Wed, 27 Mar 2024 17:39:28 +0100] rev 80040
tuned NEWS;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle