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.
Fri, 25 Oct 2019 13:25:30 +0200 changed Satallax's setup to invoke E
changeset
blanchet [Fri, 25 Oct 2019 13:25:30 +0200] rev 70929
changed Satallax's setup to invoke E
Wed, 23 Oct 2019 16:09:24 +0000 more transfer rules
changeset
haftmann [Wed, 23 Oct 2019 16:09:24 +0000] rev 70928
more transfer rules
Wed, 23 Oct 2019 16:09:23 +0000 tuned syntax
changeset
haftmann [Wed, 23 Oct 2019 16:09:23 +0000] rev 70927
tuned syntax
Tue, 22 Oct 2019 19:07:12 +0000 bit operations form an boolean algebra
changeset
haftmann [Tue, 22 Oct 2019 19:07:12 +0000] rev 70926
bit operations form an boolean algebra
Tue, 22 Oct 2019 19:07:11 +0000 bit operations for word type
changeset
haftmann [Tue, 22 Oct 2019 19:07:11 +0000] rev 70925
bit operations for word type
Tue, 22 Oct 2019 20:59:57 +0200 no printing of axioms -- too bulky;
changeset
wenzelm [Tue, 22 Oct 2019 20:59:57 +0200] rev 70924
no printing of axioms -- too bulky;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle