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.
Fri, 27 May 2011 21:11:44 +0200 function tutorial: do not omit termination proof, even when discussing other things
changeset
krauss [Fri, 27 May 2011 21:11:44 +0200] rev 43042
function tutorial: do not omit termination proof, even when discussing other things
Fri, 27 May 2011 16:45:24 +0200 added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization
changeset
boehmes [Fri, 27 May 2011 16:45:24 +0200] rev 43041
added re-implemented monomorphizer for types with better control for number of generated instances (strict as opposed to the SMT monomorphizer) and with fact annotations controlling in which round certain facts are considered for monomorphization
Fri, 27 May 2011 10:41:09 +0200 document new "try"
changeset
blanchet [Fri, 27 May 2011 10:41:09 +0200] rev 43040
document new "try"
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle