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.
Sat, 25 May 2024 20:10:17 +0200 tuned spelling;
changeset
wenzelm [Sat, 25 May 2024 20:10:17 +0200] rev 80199
tuned spelling;
Sat, 25 May 2024 20:08:01 +0200 support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
changeset
wenzelm [Sat, 25 May 2024 20:08:01 +0200] rev 80198
support direct rsync from Hg_Sync result directory (usually requires option -d "~~/dirs");
Sat, 25 May 2024 19:42:09 +0200 clarified signature;
changeset
wenzelm [Sat, 25 May 2024 19:42:09 +0200] rev 80197
clarified signature;
Sat, 25 May 2024 17:22:05 +0200 more general dirs for Sync.sync;
changeset
wenzelm [Sat, 25 May 2024 17:22:05 +0200] rev 80196
more general dirs for Sync.sync;
Sat, 25 May 2024 12:20:57 +0200 tuned whitespace (amending beb4ee344c22);
changeset
wenzelm [Sat, 25 May 2024 12:20:57 +0200] rev 80195
tuned whitespace (amending beb4ee344c22);
Sat, 25 May 2024 12:09:37 +0200 clarified signature (see also be0ab4b94c62 and c41791ad75c3);
changeset
wenzelm [Sat, 25 May 2024 12:09:37 +0200] rev 80194
clarified signature (see also be0ab4b94c62 and c41791ad75c3);
Fri, 24 May 2024 20:23:14 +0200 tuned;
changeset
wenzelm [Fri, 24 May 2024 20:23:14 +0200] rev 80193
tuned;
Fri, 24 May 2024 19:15:51 +0200 clarified signature;
changeset
wenzelm [Fri, 24 May 2024 19:15:51 +0200] rev 80192
clarified signature;
Fri, 24 May 2024 17:31:49 +0200 tuned names;
changeset
wenzelm [Fri, 24 May 2024 17:31:49 +0200] rev 80191
tuned names;
Fri, 24 May 2024 17:14:02 +0200 proper SSH.System operation;
changeset
wenzelm [Fri, 24 May 2024 17:14:02 +0200] rev 80190
proper SSH.System operation;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip
isabelle