CONTRIBUTORS
changeset 60012 0c307c5c03f0
parent 59980 070f04c94b2e
child 60119 54bea620e54f
     1.1 --- a/CONTRIBUTORS	Sat Apr 11 13:12:57 2015 +0200
     1.2 +++ b/CONTRIBUTORS	Sat Apr 11 13:21:40 2015 +0200
     1.3 @@ -3,8 +3,8 @@
     1.4  who is listed as an author in one of the source files of this Isabelle
     1.5  distribution.
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 ---------------------------------------
     1.9 +Contributions to Isabelle2015
    1.10 +-----------------------------
    1.11  
    1.12  * March 2015: Jasmin Blanchette, Inria & LORIA & MPII, Mathias Fleury, MPII,
    1.13    and Dmitriy Traytel, TUM