changeset 52176 | aafd4270b4d4 |
parent 52008 | 2c3d0cb151c0 |
child 52304 | 55644f8caeb3 |
1.1 --- a/CONTRIBUTORS Sun Jan 20 15:26:56 2013 +0100 1.2 +++ b/CONTRIBUTORS Sun Jan 20 15:34:27 2013 +0100 1.3 @@ -3,6 +3,9 @@ 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 + 1.10 Contributions to Isabelle2013 1.11 ----------------------------- 1.12