Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 19 Oct 2007 09:59:46 +0200 Updated function tutorial: Types can be inferred and need not be given anymore
changeset
krauss [Fri, 19 Oct 2007 09:59:46 +0200] rev 25091
Updated function tutorial: Types can be inferred and need not be given anymore
Fri, 19 Oct 2007 07:48:25 +0200 98% localized
changeset
haftmann [Fri, 19 Oct 2007 07:48:25 +0200] rev 25090
98% localized
Fri, 19 Oct 2007 07:48:23 +0200 dropped doubled proof
changeset
haftmann [Fri, 19 Oct 2007 07:48:23 +0200] rev 25089
dropped doubled proof
Thu, 18 Oct 2007 17:44:30 +0200 Simultaneous type inference using read_specification
changeset
krauss [Thu, 18 Oct 2007 17:44:30 +0200] rev 25088
Simultaneous type inference using read_specification
Thu, 18 Oct 2007 17:38:45 +0200 some more metis calls
changeset
paulson [Thu, 18 Oct 2007 17:38:45 +0200] rev 25087
some more metis calls
Thu, 18 Oct 2007 17:34:27 +0200 Improving the propagation of type constraints for Frees
changeset
paulson [Thu, 18 Oct 2007 17:34:27 +0200] rev 25086
Improving the propagation of type constraints for Frees
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle