Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +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.
 
Thu, 01 Mar 2012 11:28:56 +0100 blanchet improved handling of polymorphic quotient types, by avoiding comparing types that will generally differ in the polymorphic case changeset | files
Thu, 01 Mar 2012 11:28:56 +0100 blanchet fixed handling of "Rep_" function of quotient types -- side-effect of "set" constructor reintroduction changeset | files
Thu, 01 Mar 2012 11:28:56 +0100 blanchet more robust set element extractor changeset | files
Thu, 01 Mar 2012 10:12:58 +0100 boehmes fine-tune intended failure of smt method when the chosen SMT solver is not installed: restrict failures to true invocations of the SMT solver and don't fail for runs based on certificates changeset | files
Thu, 01 Mar 2012 14:48:28 +0100 wenzelm tuned proofs; changeset | files
Thu, 01 Mar 2012 14:42:05 +0100 wenzelm more tolerant cygpath invocation, allow empty CLASSPATH; changeset | files
Thu, 01 Mar 2012 14:12:18 +0100 wenzelm explicitly revoke delay, to avoid spurious timer events after deactivation of related components; changeset | files
Thu, 01 Mar 2012 11:28:33 +0100 wenzelm clarified document nodes (full import graph) vs. node_status (non-preloaded theories); changeset | files
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle