]> git.saurik.com Git - bison.git/blobdiff - THANKS
Cope with CVS weird way to report warnings.
[bison.git] / THANKS
diff --git a/THANKS b/THANKS
index 0cfdeb88b08939e40bcba6f7394139de13213dcf..82eb848b2f8864db535819c161589a0ebc29db56 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -1,28 +1,19 @@
-Daniel Hagerty         hag@gnu.org
-David J. MacKenzie     djm@gnu.org
-Jesse Thilo            jthilo@gnu.org
-Jim Meyering           meyering@gnu.org
-Neil Booth             NeilB@earthling.net
-Noah Friedman                  friedman@gnu.org
-Paul Eggert            eggert@twinsun.com
-Piotr Gackiewicz       gacek@intertel.com.pl
-Richard Stallman       rms@gnu.org
-
-Many people are not named here because we lost track of them.  We
-thank them!  Please, help us keeping this list up to date.
+Bison was originally written by Robert Corbett.  It would not be what
+it is today without the invaluable help of these people:
 
 
-Local Variables:
-mode: text
-End:
 Daniel Hagerty         hag@gnu.org
 David J. MacKenzie     djm@gnu.org
 Daniel Hagerty         hag@gnu.org
 David J. MacKenzie     djm@gnu.org
+Hans Aberg             haberg@matematik.su.se
 Jesse Thilo            jthilo@gnu.org
 Jim Meyering           meyering@gnu.org
 Jesse Thilo            jthilo@gnu.org
 Jim Meyering           meyering@gnu.org
+Laurent Mascherpa      laurent.mascherpa@epita.fr
+Marc Autret             autret_m@epita.fr
 Neil Booth             NeilB@earthling.net
 Noah Friedman                  friedman@gnu.org
 Paul Eggert            eggert@twinsun.com
 Piotr Gackiewicz       gacek@intertel.com.pl
 Richard Stallman       rms@gnu.org
 Neil Booth             NeilB@earthling.net
 Noah Friedman                  friedman@gnu.org
 Paul Eggert            eggert@twinsun.com
 Piotr Gackiewicz       gacek@intertel.com.pl
 Richard Stallman       rms@gnu.org
+Robert Anisko           anisko_r@epita.fr
 
 Many people are not named here because we lost track of them.  We
 thank them!  Please, help us keeping this list up to date.
 
 Many people are not named here because we lost track of them.  We
 thank them!  Please, help us keeping this list up to date.