Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sat, 05 Jul 2014 13:21:53 +0200 proper plain_args to ensure that multi-argument overloading cannot escape pattern restriction (despite more liberal structural containment before 3ae3cc4b1eac);
changeset
wenzelm [Sat, 05 Jul 2014 13:21:53 +0200] rev 57520
proper plain_args to ensure that multi-argument overloading cannot escape pattern restriction (despite more liberal structural containment before 3ae3cc4b1eac);
Sat, 05 Jul 2014 16:07:23 +0200 CONTRIBUTORS
changeset
haftmann [Sat, 05 Jul 2014 16:07:23 +0200] rev 57519
CONTRIBUTORS
Sat, 05 Jul 2014 16:04:23 +0200 refrain from auxiliary abbreviation: be more explicit to the reader in situations where syntax translation does not apply;
changeset
haftmann [Sat, 05 Jul 2014 16:04:23 +0200] rev 57518
refrain from auxiliary abbreviation: be more explicit to the reader in situations where syntax translation does not apply; uniform appearance of xsymbol and HTML output for sums
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip
isabelle