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.
COPYRIGHT
changeset 24798 d04aaadfd7ae
parent 17547 b0d70cf4ed18
child 27306 0609faccb903
equal deleted inserted replaced
24797:3bc50959c7f0 24798:d04aaadfd7ae 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     2 
     2 
     3 Copyright (c) 2005,
 
     3 Copyright (c) 2007,
 
     4   University of Cambridge and
 
     4   University of Cambridge and
 
     5   Technische Universitaet Muenchen.
 
     5   Technische Universitaet Muenchen.
 
     6 
     6 
     7   All rights reserved.
 
     7   All rights reserved.
 
     8 
     8
isabelle