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.
Wed, 14 Sep 2016 14:17:32 +0200 added abbrevs panel;
changeset
wenzelm [Wed, 14 Sep 2016 14:17:32 +0200] rev 63870
added abbrevs panel;
Wed, 14 Sep 2016 14:16:13 +0200 tuned;
changeset
wenzelm [Wed, 14 Sep 2016 14:16:13 +0200] rev 63869
tuned;
Wed, 14 Sep 2016 14:07:09 +0200 more robust;
changeset
wenzelm [Wed, 14 Sep 2016 14:07:09 +0200] rev 63868
more robust;
Wed, 14 Sep 2016 12:56:57 +0200 maintain abbrevs in canonical reverse order;
changeset
wenzelm [Wed, 14 Sep 2016 12:56:57 +0200] rev 63867
maintain abbrevs in canonical reverse order;
Wed, 14 Sep 2016 12:51:40 +0200 tuned;
changeset
wenzelm [Wed, 14 Sep 2016 12:51:40 +0200] rev 63866
tuned;
Wed, 14 Sep 2016 12:12:44 +0200 tuned;
changeset
wenzelm [Wed, 14 Sep 2016 12:12:44 +0200] rev 63865
tuned;
Wed, 14 Sep 2016 16:24:51 +0200 ignore default output directory of 'build_stats' tool
changeset
Lars Hupel <lars.hupel@mytum.de> [Wed, 14 Sep 2016 16:24:51 +0200] rev 63864
ignore default output directory of 'build_stats' tool
Tue, 13 Sep 2016 20:51:14 +0200 don't expose internal construction in the coinduction rule for mutual coinductive predicates
changeset
traytel [Tue, 13 Sep 2016 20:51:14 +0200] rev 63863
don't expose internal construction in the coinduction rule for mutual coinductive predicates
Tue, 13 Sep 2016 16:23:12 +0200 union associates to the left
changeset
blanchet [Tue, 13 Sep 2016 16:23:12 +0200] rev 63862
union associates to the left
Tue, 13 Sep 2016 11:31:30 +0200 reorganization, more funs and lemmas
changeset
nipkow [Tue, 13 Sep 2016 11:31:30 +0200] rev 63861
reorganization, more funs and lemmas
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip
isabelle