changeset 47887 | 4e9c06c194d9 |
parent 47808 | 04a6a6c03eea |
child 48111 | 33414f2e82ab |
--- a/CONTRIBUTORS Wed May 02 21:55:13 2012 +0200 +++ b/CONTRIBUTORS Wed May 02 22:05:59 2012 +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 Isabelle2012 -----------------------------