Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 18 Feb 2014 20:32:58 +0100 tuned message;
changeset
wenzelm [Tue, 18 Feb 2014 20:32:58 +0100] rev 55559
tuned message;
Tue, 18 Feb 2014 20:20:42 +0100 more uniform treatment of dockables and their standard actions;
changeset
wenzelm [Tue, 18 Feb 2014 20:20:42 +0100] rev 55558
more uniform treatment of dockables and their standard actions;
Tue, 18 Feb 2014 19:00:13 +0100 standardized action and panel names;
changeset
wenzelm [Tue, 18 Feb 2014 19:00:13 +0100] rev 55557
standardized action and panel names;
Tue, 18 Feb 2014 18:51:03 +0100 tuned imports;
changeset
wenzelm [Tue, 18 Feb 2014 18:51:03 +0100] rev 55556
tuned imports;
Tue, 18 Feb 2014 18:43:47 +0100 prefer concrete list append;
changeset
wenzelm [Tue, 18 Feb 2014 18:43:47 +0100] rev 55555
prefer concrete list append;
Tue, 18 Feb 2014 18:43:31 +0100 tuned whitespace;
changeset
wenzelm [Tue, 18 Feb 2014 18:43:31 +0100] rev 55554
tuned whitespace;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle