CONTRIBUTORS
changeset 62098 b1b2834bb493
parent 62086 1c0246456ab9
child 62118 e60f1a925b4d
     1.1 --- a/CONTRIBUTORS	Thu Jan 07 14:44:51 2016 +0100
     1.2 +++ b/CONTRIBUTORS	Fri Jan 08 15:54:43 2016 +0100
     1.3 @@ -1,7 +1,7 @@
     1.4  For the purposes of the license agreement in the file COPYRIGHT, a
     1.5 -'contributor' is anybody who is listed in this file (CONTRIBUTORS) or
     1.6 -who is listed as an author in one of the source files of this Isabelle
     1.7 -distribution.
     1.8 +'contributor' is anybody who is listed in this file (CONTRIBUTORS) or who is
     1.9 +listed as an author in one of the source files of this Isabelle distribution.
    1.10 +
    1.11  
    1.12  Contributions to Isabelle2016
    1.13  -----------------------------
    1.14 @@ -696,3 +696,5 @@
    1.15  * 2004/2005: Tjark Weber, TUM
    1.16    SAT solver method using zChaff.
    1.17    Improved version of HOL/refute.
    1.18 +
    1.19 +:maxLineLen=78: