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.
NEWS
changeset 66826 0d60d2118544
parent 66805 274b4edca859
child 66841 5c32a072ca8b
equal deleted inserted replaced
66825:9f6ec65f7a6e 66826:0d60d2118544 
    57 on interpretation of abstract locales. INCOMPATIBILITY.
 
    57 on interpretation of abstract locales. INCOMPATIBILITY.
 
    58 
    58 
    59 * Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
 
    59 * Predicate pairwise_coprime abolished, use "pairwise coprime" instead.
 
    60 INCOMPATIBILITY.
 
    60 INCOMPATIBILITY.
 
    61 
    61 
       
    62 * Session HOL-Analysis: Moebius functions and the Riemann mapping theorem.
 
    62 
    63 
    63 *** System ***
 
    64 *** System ***
 
    64 
    65 
    65 * Windows and Cygwin is for x86_64 only. Old 32bit platform support has
 
    66 * Windows and Cygwin is for x86_64 only. Old 32bit platform support has
 
    66 been discontinued.
 
    67 been discontinued.
isabelle