Mercurial Mercurial > repos > isabelle / diff
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.
CONTRIBUTORS
changeset 44801 a0459c50cfc9
parent 41651 c78b786fe060
child 44820 7798deb6f8fa 
--- a/CONTRIBUTORS	Wed Sep 07 20:29:54 2011 +0200
+++ b/CONTRIBUTORS	Wed Sep 07 20:49:45 2011 +0200
@@ -3,8 +3,8 @@
 who is listed as an author in one of the source files of this Isabelle
 distribution.
 
-Contributions to this Isabelle version
---------------------------------------
+Contributions to Isabelle2011-1
+-------------------------------
 
 
 Contributions to Isabelle2011
isabelle