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 50649 dec036b63412
parent 47462 8f85051693d1
child 56916 b00a861d8f16
equal deleted inserted replaced
50648:3fa343c5bc0a 50649:dec036b63412 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     2 
     2 
     3 Copyright (c) 2012,
 
     3 Copyright (c) 1986-2013,
 
     4   University of Cambridge,
 
     4   University of Cambridge,
 
     5   Technische Universitaet Muenchen,
 
     5   Technische Universitaet Muenchen,
 
     6   and contributors.
 
     6   and contributors.
 
     7 
     7 
     8   All rights reserved.
 
     8   All rights reserved.
isabelle