changeset 60012 | 0c307c5c03f0 |
parent 59980 | 070f04c94b2e |
child 60119 | 54bea620e54f |
--- 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