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 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 30 May 2011 17:00:38 +0200 support "metis" and "metisFT" as provers in the architecture, so they can be used for minimizing
changeset
blanchet [Mon, 30 May 2011 17:00:38 +0200] rev 43050
support "metis" and "metisFT" as provers in the architecture, so they can be used for minimizing
Mon, 30 May 2011 15:30:05 +0100 Workaround for hyperref bug affecting index entries involving the | symbol
changeset
paulson [Mon, 30 May 2011 15:30:05 +0100] rev 43049
Workaround for hyperref bug affecting index entries involving the | symbol
Mon, 30 May 2011 13:58:00 +0200 improving heuristics of type annotations in contravariant positions for the special case with instances of the class partial_term_of
changeset
bulwahn [Mon, 30 May 2011 13:58:00 +0200] rev 43048
improving heuristics of type annotations in contravariant positions for the special case with instances of the class partial_term_of
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle