Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +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 13:57:59 +0200 bulwahn automatic derivation of partial_term_of functions; renaming type and term to longer names narrowing_type and narrowing_term; hiding constant C; adding overlord option changeset | files
Mon, 30 May 2011 12:20:04 +0100 paulson merged multiple heads changeset | files
Mon, 30 May 2011 12:15:17 +0100 paulson Fix to exception THM 1 raised (line 212 of conv.ML), reported by Andreas Lochbihler changeset | files
Sun, 29 May 2011 19:40:56 +0200 blanchet always check plain "metis" even if the ATP proof seems to require "metisFT" -- maybe the proof is needlessly complicated changeset | files
Sun, 29 May 2011 19:40:56 +0200 blanchet normalize indices in chained facts to make sure that backtick facts (which often result in different names) are recognized + changed definition of urgent messages changeset | files
Fri, 27 May 2011 21:11:44 +0200 krauss function tutorial: do not omit termination proof, even when discussing other things changeset | files
Fri, 27 May 2011 16:45:24 +0200 boehmes 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 | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle