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 release;
authorwenzelm
Sat, 11 Apr 2015 13:21:40 +0200
changeset 60012 0c307c5c03f0
parent 60011 3eef7a43cd51
child 60013 42d34eeb283c
updated for release;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sat Apr 11 13:12:57 2015 +0200
+++ b/CONTRIBUTORS	Sat Apr 11 13:21:40 2015 +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 Isabelle2015
+-----------------------------
 
 * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
   and Dmitriy Traytel, TUM
isabelle