updated for release;
authorwenzelm
Sat Apr 11 13:21:40 2015 +0200 (2015-04-11)
changeset 600120c307c5c03f0
parent 60011 3eef7a43cd51
child 60013 42d34eeb283c
updated for release;
CONTRIBUTORS
     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