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 17547 b0d70cf4ed18
parent 14981 e73f8140af78
child 24798 d04aaadfd7ae
equal deleted inserted replaced
17546:07371b92d382 17547:b0d70cf4ed18 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     2 
     2 
     3 Copyright (c) 2004,
 
     3 Copyright (c) 2005,
 
     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