Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS
changeset 56418 c267a0feb63a
parent 56416 b9baecff0684
child 57030 b592202a45cc
equal deleted inserted replaced
56417:04d0083cb9e5 56418:c267a0feb63a 
    27 
    27 
    28 * December 2013: Florian Haftmann, TUM
 
    28 * December 2013: Florian Haftmann, TUM
 
    29   Consolidation of abstract interpretations concerning min and max.
 
    29   Consolidation of abstract interpretations concerning min and max.
 
    30 
    30 
    31 * November 2013: Florian Haftmann, TUM
 
    31 * November 2013: Florian Haftmann, TUM
 
    32   Abolishment of negative numeral literals in the logic.
 
    32   Abolition of negative numeral literals in the logic.
 
    33 
    33 
    34 
    34 
    35 Contributions to Isabelle2013-1
 
    35 Contributions to Isabelle2013-1
 
    36 -------------------------------
 
    36 -------------------------------
 
    37 
    37
isabelle