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 +3000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sun, 21 Aug 2022 11:59:25 +0200 clarified modules;
changeset
wenzelm [Sun, 21 Aug 2022 11:59:25 +0200] rev 75941
clarified modules;
Sun, 21 Aug 2022 11:52:51 +0200 clarified signature: terminology of "base" (here) vs. "root" (there);
changeset
wenzelm [Sun, 21 Aug 2022 11:52:51 +0200] rev 75940
clarified signature: terminology of "base" (here) vs. "root" (there);
Sun, 21 Aug 2022 11:48:14 +0200 tuned;
changeset
wenzelm [Sun, 21 Aug 2022 11:48:14 +0200] rev 75939
tuned;
Sun, 21 Aug 2022 11:45:14 +0200 proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
changeset
wenzelm [Sun, 21 Aug 2022 11:45:14 +0200] rev 75938
proper fonts_prefix (amending c14409948063): default is "" due to self-cancellation of dir;
Sun, 21 Aug 2022 06:18:23 +0000 streamlined
changeset
haftmann [Sun, 21 Aug 2022 06:18:23 +0000] rev 75937
streamlined
Sun, 21 Aug 2022 06:18:23 +0000 simplified computation algorithm construction
changeset
haftmann [Sun, 21 Aug 2022 06:18:23 +0000] rev 75936
simplified computation algorithm construction
Sat, 20 Aug 2022 21:34:55 +0200 merged;
changeset
wenzelm [Sat, 20 Aug 2022 21:34:55 +0200] rev 75935
merged;
Sat, 20 Aug 2022 21:33:51 +0200 more robust GUI initialization (amending 29441f2bfe81);
changeset
wenzelm [Sat, 20 Aug 2022 21:33:51 +0200] rev 75934
more robust GUI initialization (amending 29441f2bfe81);
Sat, 20 Aug 2022 21:14:01 +0200 clarified signature: just one common operation;
changeset
wenzelm [Sat, 20 Aug 2022 21:14:01 +0200] rev 75933
clarified signature: just one common operation;
Sat, 20 Aug 2022 18:55:48 +0200 clarified paths and links;
changeset
wenzelm [Sat, 20 Aug 2022 18:55:48 +0200] rev 75932
clarified paths and links; proper node_context for aux. files: to get links within them;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle