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.
Tue, 17 Sep 2024 11:00:03 +0200 tuned comments;
changeset
wenzelm [Tue, 17 Sep 2024 11:00:03 +0200] rev 80892
tuned comments;
Tue, 17 Sep 2024 10:47:08 +0200 tuned;
changeset
wenzelm [Tue, 17 Sep 2024 10:47:08 +0200] rev 80891
tuned;
Mon, 16 Sep 2024 20:44:46 +0200 more detailed markup;
changeset
wenzelm [Mon, 16 Sep 2024 20:44:46 +0200] rev 80890
more detailed markup;
Mon, 16 Sep 2024 19:58:28 +0200 more formal Markup.expression;
changeset
wenzelm [Mon, 16 Sep 2024 19:58:28 +0200] rev 80889
more formal Markup.expression;
Mon, 16 Sep 2024 19:36:20 +0200 tuned;
changeset
wenzelm [Mon, 16 Sep 2024 19:36:20 +0200] rev 80888
tuned;
Mon, 16 Sep 2024 18:59:39 +0200 clarified name space: no theory qualifier here --- treat like global datatype constructors;
changeset
wenzelm [Mon, 16 Sep 2024 18:59:39 +0200] rev 80887
clarified name space: no theory qualifier here --- treat like global datatype constructors;
Mon, 16 Sep 2024 15:49:36 +0200 discontinued "isabelle build -k": superseded by admin-tool "isabelle check_keywords";
changeset
wenzelm [Mon, 16 Sep 2024 15:49:36 +0200] rev 80886
discontinued "isabelle build -k": superseded by admin-tool "isabelle check_keywords";
Mon, 16 Sep 2024 15:39:35 +0200 clarified signature;
changeset
wenzelm [Mon, 16 Sep 2024 15:39:35 +0200] rev 80885
clarified signature;
Mon, 16 Sep 2024 14:03:25 +0200 tuned signature;
changeset
wenzelm [Mon, 16 Sep 2024 14:03:25 +0200] rev 80884
tuned signature;
Mon, 16 Sep 2024 13:53:43 +0200 obsolete (see also b93cc7d73431);
changeset
wenzelm [Mon, 16 Sep 2024 13:53:43 +0200] rev 80883
obsolete (see also b93cc7d73431);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip
isabelle