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 194 06e31ac55dd1
parent 0 a5a9c433f639
child 14058 a26a6a36e09d
equal deleted inserted replaced
193:b2be328e00c3 194:06e31ac55dd1 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     1 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
     2 
     2 
     3 Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
 
     3 Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
 
     4 
     4 
     5 Permission to use, copy, modify, and distribute this software and its
 
     5 Permission to use, copy, modify, and distribute this software and its
 
     6 documentation for any non-commercial purpose and without fee is hereby
 
     6 documentation for any non-commercial purpose and without fee is hereby
 
     7 granted, provided that the above copyright notice appears in all copies and
 
     7 granted, provided that the above copyright notice appears in all copies and
 
     8 that both the copyright notice and this permission notice and warranty
 
     8 that both the copyright notice and this permission notice and warranty
isabelle