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 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 18 Feb 2014 20:50:07 +0100 more markup;
changeset
wenzelm [Tue, 18 Feb 2014 20:50:07 +0100] rev 55561
more markup;
Tue, 18 Feb 2014 20:37:45 +0100 proper term equality;
changeset
wenzelm [Tue, 18 Feb 2014 20:37:45 +0100] rev 55560
proper term equality; proper Args.term_pattern parser (like 'is' or 'let' in Isar);
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;
Tue, 18 Feb 2014 18:29:02 +0100 more standard names for protocol and markup elements;
changeset
wenzelm [Tue, 18 Feb 2014 18:29:02 +0100] rev 55553
more standard names for protocol and markup elements;
Tue, 18 Feb 2014 17:26:13 +0100 tuned whitespace;
changeset
wenzelm [Tue, 18 Feb 2014 17:26:13 +0100] rev 55552
tuned whitespace;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle