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.
updated for Isabelle2009;
authorwenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 30894 49c14e3cdc4b
child 30896 ec3f33437fe3
child 30923 2697a1d1d34a
updated for Isabelle2009;
COPYRIGHT file | annotate | diff | comparison | revisions 
--- a/COPYRIGHT	Tue Apr 14 23:58:46 2009 +0200
+++ b/COPYRIGHT	Wed Apr 15 11:14:48 2009 +0200
@@ -1,6 +1,6 @@
 ISABELLE COPYRIGHT NOTICE, LICENCE AND DISCLAIMER.
 
-Copyright (c) 2008,
+Copyright (c) 2009,
   University of Cambridge and
   Technische Universitaet Muenchen.
isabelle