Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new year
authorlcp
Mon, 13 Dec 1993 18:18:34 +0100
changeset 194 06e31ac55dd1
parent 193 b2be328e00c3
child 195 1315ce07f515
new year
COPYRIGHT file | annotate | diff | comparison | revisions 
--- a/COPYRIGHT	Fri Dec 10 13:46:38 1993 +0100
+++ b/COPYRIGHT	Mon Dec 13 18:18:34 1993 +0100
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (C) 1992 by the University of Cambridge, Cambridge, England.
+Copyright (C) 1993 by the University of Cambridge, Cambridge, England.
 
 Permission to use, copy, modify, and distribute this software and its
 documentation for any non-commercial purpose and without fee is hereby
isabelle