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 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;
Sat, 20 Aug 2022 18:30:53 +0200 more concise output of files: just one round;
changeset
wenzelm [Sat, 20 Aug 2022 18:30:53 +0200] rev 75931
more concise output of files: just one round;
Sat, 20 Aug 2022 18:02:19 +0200 more robust;
changeset
wenzelm [Sat, 20 Aug 2022 18:02:19 +0200] rev 75930
more robust;
Sat, 20 Aug 2022 17:59:13 +0200 proper node_dir within presentation_dir, not source file directory;
changeset
wenzelm [Sat, 20 Aug 2022 17:59:13 +0200] rev 75929
proper node_dir within presentation_dir, not source file directory;
Sat, 20 Aug 2022 17:25:55 +0200 clarified modules;
changeset
wenzelm [Sat, 20 Aug 2022 17:25:55 +0200] rev 75928
clarified modules;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip
isabelle