changeset 57695 | 987c9ceeaafd |
parent 57519 | 9e5f47e83629 |
child 57882 | 38bf4de248a6 |
--- a/CONTRIBUTORS Sun Jul 27 15:29:42 2014 +0200 +++ b/CONTRIBUTORS Sun Jul 27 15:44:08 2014 +0200 @@ -3,6 +3,10 @@ who is listed as an author in one of the source files of this Isabelle distribution. +Contributions to this Isabelle version +-------------------------------------- + + Contributions to Isabelle2014 -----------------------------