Re: [Axiom-developer] diff-Naur 20070721.01.tpd.patch

[Ralf Hemmecke]

Tim,

I would feel happy if

1) you make clear what the guidelines are that somebody get's included 
into that list (maybe on MathAction?),

2) you (or whoever wants to add someone to that list) could give at 
least a line on why that person counts as a contributor. (It's enough if 
this appears in the mailing list.)

... just a suggestion ...

Giving credit is fine, but if the whole world is credited that doesn't 
make mean credit at all.

I am not at all against this patch, but a little more information would 
be welcome.

Ralf

On 07/21/2007 06:54 PM, address@hidden wrote:
> Attached is a changeset to update the list of contributors
> to the Axiom project. This list is available in Axiom with
> the )credits command.
>
> You can apply this patch to your tree by 
>   cd your-axiom-root
>   patch -p1 <20070721.01.tpd.patch
>
> Note that, by default, patch tries to skip any leading garbage,
> apply the diff, and then skip any trailing garbage. Thus you can
> save this whole email as a file, run the above patch command, and
> patch will "do the right thing".
>
> Tim
>
> diff --git a/changelog b/changelog
> index 3ac5da7..0c9e91d 100644
> --- a/changelog
> +++ b/changelog
> @@ -1,3 +1,5 @@
> +20070721 tpd src/interp/setq.lisp update contributor name list
> +20070721 tpd readme update contributor name list
>  20070716 tpd src/doc/axiom.bib move developernotes to bookvol4
>  20070716 tpd src/doc/Makefile move developernotes to bookvol4
>  20070716 tpd src/input/Makefile add chtheorem.regress
> diff --git a/readme b/readme
> index 2ce2d10..112fa70 100644
> --- a/readme
> +++ b/readme
> @@ -166,24 +166,27 @@ which contains this list. Typing
>  )credits 
>  at the axiom command prompt will prettyprint the list.
>  
> -"An alphabetical listing of contributors to AXIOM (to October, 2006):"
> +"An alphabetical listing of contributors to AXIOM (to July, 2007):"
>  "Cyril Alberga          Roy Adler              Christian Aistleitner"
>  "Richard Anderson       George Andrews         S.J. Atkins"
>  "Henry Baker            Stephen Balzac         Yurij Baransky"
>  "David R. Barton        Gerald Baumgartner     Gilbert Baumslag"
> -"Fred Blair             Vladimir Bondarenko    Mark Botch"
> +"Jay Belanger           David Bindel           Fred Blair"
> +"Vladimir Bondarenko    Mark Botch"
>  "Alexandre Bouyer       Peter A. Broadbery     Martin Brock"
>  "Manuel Bronstein       Florian Bundschuh      Luanne Burns"
>  "William Burge"
>  "Quentin Carpent        Robert Caviness        Bruce Char"
> -"Cheekai Chin           David V. Chudnovsky    Gregory V. Chudnovsky"
> -"Josh Cohen             Christophe Conil       Don Coppersmith"
> -"George Corliss         Robert Corless         Gary Cornell"
> -"Meino Cramer           Claire Di Crescenzo"
> +"Ondrej Certik          Cheekai Chin           David V. Chudnovsky"
> +"Gregory V. Chudnovsky  Josh Cohen             Christophe Conil"
> +"Don Coppersmith        George Corliss         Robert Corless"
> +"Gary Cornell           Meino Cramer           Claire Di Crescenzo"
> +"David Cyganski"
>  "Timothy Daly Sr.       Timothy Daly Jr.       James H. Davenport"
> -"Jean Della Dora        Gabriel Dos Reis       Michael Dewar"
> -"Claire DiCrescendo     Sam Dooley             Lionel Ducos"
> -"Martin Dunstan         Brian Dupee            Dominique Duval"
> +"Didier Deshommes       Michael Dewar"
> +"Jean Della Dora        Gabriel Dos Reis       Claire DiCrescendo"
> +"Sam Dooley             Lionel Ducos           Martin Dunstan"
> +"Brian Dupee            Dominique Duval"
>  "Robert Edwards         Heow Eide-Goodman      Lars Erickson"
>  "Richard Fateman        Bertfried Fauser       Stuart Feldman"
>  "Brian Ford             Albrecht Fortenbacher  George Frances"
> @@ -191,33 +194,36 @@ at the axiom command prompt will prettyprint the list.
>  "Marc Gaetano           Rudiger Gebauer        Kathy Gerber"
>  "Patricia Gianni        Holger Gollan          Teresa Gomez-Diaz"
>  "Laureano Gonzalez-Vega Stephen Gortler        Johannes Grabmeier"
> -"Matt Grayson           James Griesmer         Vladimir Grinberg"
> -"Oswald Gschnitzer      Jocelyn Guidry"
> -"Steve Hague            Satoshi Hamaguchi      Richard Harke"
> -"Vilya Harvey           Martin Hassner         Arthur S. Hathaway"
> -"Waldek Hebisch         Ralf Hemmecke          Henderson"
> -"Antoine Hersen"
> +"Matt Grayson           Klaus Ebbe Grue        James Griesmer"
> +"Vladimir Grinberg      Oswald Gschnitzer      Jocelyn Guidry"
> +"Steve Hague            Satoshi Hamaguchi      Mike Hansen"
> +"Richard Harke          Vilya Harvey           Martin Hassner"
> +"Arthur S. Hathaway     Waldek Hebisch         Ralf Hemmecke"
> +"Henderson              Antoine Hersen         Gernot Hueber"
>  "Pietro Iglio"
>  "Richard Jenks"
>  "Kai Kaminski           Grant Keady            Tony Kennedy"
>  "Paul Kosinski          Klaus Kusche           Bernhard Kutzler"
> -"Larry Lambe            Frederic Lehobey       Michel Levaud"
> -"Howard Levy            Rudiger Loos           Michael Lucks"
> -"Richard Luczak"
> -"Camm Maguire           Francois Maltey        Bob McElrath"
> -"Michael McGettrick     Ian Meikle             David Mentre"
> -"Victor S. Miller       Gerard Milmeister      Mohammed Mobarak"
> -"H. Michael Moeller     Michael Monagan        Marc Moreno-Maza"
> -"Scott Morrison         Joel Moses             Mark Murray"
> +"Larry Lambe            Franz Lehner           Frederic Lehobey"
> +"Michel Levaud          Howard Levy            Rudiger Loos"
> +"Michael Lucks          Richard Luczak"
> +"Camm Maguire           Francois Maltey        Alasdair McAndrew"
> +"Bob McElrath           Michael McGettrick     Ian Meikle"
> +"David Mentre           Victor S. Miller       Gerard Milmeister"
> +"Mohammed Mobarak       H. Michael Moeller     Michael Monagan"
> +"Marc Moreno-Maza       Scott Morrison         Joel Moses"
> +"Mark Murray"
>  "William Naylor         C. Andrew Neff         John Nelder"
>  "Godfrey Nolan          Arthur Norman          Jinzhong Niu"
> -"Michael O'Connor       Kostas Oikonomou       Humberto Ortiz-Zuazaga"
> +"Michael O'Connor       Summat Oemrawsingh     Kostas Oikonomou"
> +"Humberto Ortiz-Zuazaga"  
>  "Julian A. Padget       Bill Page              Susan Pelzel"
> -"Michel Petitot         Didier Pinchon         Jose Alfredo Portes"
> +"Michel Petitot         Didier Pinchon         Ayal Pinkus"
> +"Jose Alfredo Portes"
>  "Claude Quitte"
>  "Norman Ramsey          Michael Richardson     Renaud Rioboo"
>  "Jean Rivlin            Nicolas Robidoux       Simon Robinson"
> -"Michael Rothstein      Martin Rubey"
> +"Raymond Rogers         Michael Rothstein      Martin Rubey"
>  "Philip Santas          Alfred Scheerhorn      William Schelter"
>  "Gerhard Schneider      Martin Schoenert       Marshall Schor"
>  "Frithjof Schulze       Fritz Schwarz          Nick Simicich"
> @@ -234,8 +240,8 @@ at the axiom command prompt will prettyprint the list.
>  "Stephen Wilson         Shmuel Winograd        Robert Wisbauer"
>  "Sandra Wityak          Waldemar Wiwianka      Knut Wolf"
>  "Clifford Yapp          David Yun"
> -"Richard Zippel         Evelyn Zoernack        Bruno Zuercher"
> -"Dan Zwillinger"
> +"Vadim Zhytnikov        Richard Zippel         Evelyn Zoernack"
> +"Bruno Zuercher         Dan Zwillinger"
>  
>  Pervasive Literate Programming
>  
> diff --git a/src/interp/setq.lisp.pamphlet b/src/interp/setq.lisp.pamphlet
> index a4fc0ed..6f23778 100644
> --- a/src/interp/setq.lisp.pamphlet
> +++ b/src/interp/setq.lisp.pamphlet
> @@ -722,24 +722,27 @@
>  (setq |$profileCompiler| nil)
>  
>  (setq credits '(
> -"An alphabetical listing of contributors to AXIOM (to October, 2006):"
> +"An alphabetical listing of contributors to AXIOM (to July, 2007):"
>  "Cyril Alberga          Roy Adler              Christian Aistleitner"
>  "Richard Anderson       George Andrews         S.J. Atkins"
>  "Henry Baker            Stephen Balzac         Yurij Baransky"
>  "David R. Barton        Gerald Baumgartner     Gilbert Baumslag"
> -"Fred Blair             Vladimir Bondarenko    Mark Botch"
> +"Jay Belanger           David Bindel           Fred Blair"
> +"Vladimir Bondarenko    Mark Botch"
>  "Alexandre Bouyer       Peter A. Broadbery     Martin Brock"
>  "Manuel Bronstein       Florian Bundschuh      Luanne Burns"
>  "William Burge"
>  "Quentin Carpent        Robert Caviness        Bruce Char"
> -"Cheekai Chin           David V. Chudnovsky    Gregory V. Chudnovsky"
> -"Josh Cohen             Christophe Conil       Don Coppersmith"
> -"George Corliss         Robert Corless         Gary Cornell"
> -"Meino Cramer           Claire Di Crescenzo"
> +"Ondrej Certik          Cheekai Chin           David V. Chudnovsky"
> +"Gregory V. Chudnovsky  Josh Cohen             Christophe Conil"
> +"Don Coppersmith        George Corliss         Robert Corless"
> +"Gary Cornell           Meino Cramer           Claire Di Crescenzo"
> +"David Cyganski"
>  "Timothy Daly Sr.       Timothy Daly Jr.       James H. Davenport"
> -"Jean Della Dora        Gabriel Dos Reis       Michael Dewar"
> -"Claire DiCrescendo     Sam Dooley             Lionel Ducos"
> -"Martin Dunstan         Brian Dupee            Dominique Duval"
> +"Didier Deshommes       Michael Dewar"
> +"Jean Della Dora        Gabriel Dos Reis       Claire DiCrescendo"
> +"Sam Dooley             Lionel Ducos           Martin Dunstan"
> +"Brian Dupee            Dominique Duval"
>  "Robert Edwards         Heow Eide-Goodman      Lars Erickson"
>  "Richard Fateman        Bertfried Fauser       Stuart Feldman"
>  "Brian Ford             Albrecht Fortenbacher  George Frances"
> @@ -747,33 +750,36 @@
>  "Marc Gaetano           Rudiger Gebauer        Kathy Gerber"
>  "Patricia Gianni        Holger Gollan          Teresa Gomez-Diaz"
>  "Laureano Gonzalez-Vega Stephen Gortler        Johannes Grabmeier"
> -"Matt Grayson           James Griesmer         Vladimir Grinberg"
> -"Oswald Gschnitzer      Jocelyn Guidry"
> -"Steve Hague            Satoshi Hamaguchi      Richard Harke"
> -"Vilya Harvey           Martin Hassner         Arthur S. Hathaway"
> -"Waldek Hebisch         Ralf Hemmecke          Henderson"
> -"Antoine Hersen"
> +"Matt Grayson           Klaus Ebbe Grue        James Griesmer"
> +"Vladimir Grinberg      Oswald Gschnitzer      Jocelyn Guidry"
> +"Steve Hague            Satoshi Hamaguchi      Mike Hansen"
> +"Richard Harke          Vilya Harvey           Martin Hassner"
> +"Arthur S. Hathaway     Waldek Hebisch         Ralf Hemmecke"
> +"Henderson              Antoine Hersen         Gernot Hueber"
>  "Pietro Iglio"
>  "Richard Jenks"
>  "Kai Kaminski           Grant Keady            Tony Kennedy"
>  "Paul Kosinski          Klaus Kusche           Bernhard Kutzler"
> -"Larry Lambe            Frederic Lehobey       Michel Levaud"
> -"Howard Levy            Rudiger Loos           Michael Lucks"
> -"Richard Luczak"
> -"Camm Maguire           Francois Maltey        Bob McElrath"
> -"Michael McGettrick     Ian Meikle             David Mentre"
> -"Victor S. Miller       Gerard Milmeister      Mohammed Mobarak"
> -"H. Michael Moeller     Michael Monagan        Marc Moreno-Maza"
> -"Scott Morrison         Joel Moses             Mark Murray"
> +"Larry Lambe            Franz Lehner           Frederic Lehobey"
> +"Michel Levaud          Howard Levy            Rudiger Loos"
> +"Michael Lucks          Richard Luczak"
> +"Camm Maguire           Francois Maltey        Alasdair McAndrew"
> +"Bob McElrath           Michael McGettrick     Ian Meikle"
> +"David Mentre           Victor S. Miller       Gerard Milmeister"
> +"Mohammed Mobarak       H. Michael Moeller     Michael Monagan"
> +"Marc Moreno-Maza       Scott Morrison         Joel Moses"
> +"Mark Murray"
>  "William Naylor         C. Andrew Neff         John Nelder"
>  "Godfrey Nolan          Arthur Norman          Jinzhong Niu"
> -"Michael O'Connor       Kostas Oikonomou       Humberto Ortiz-Zuazaga"
> +"Michael O'Connor       Summat Oemrawsingh     Kostas Oikonomou"
> +"Humberto Ortiz-Zuazaga"  
>  "Julian A. Padget       Bill Page              Susan Pelzel"
> -"Michel Petitot         Didier Pinchon         Jose Alfredo Portes"
> +"Michel Petitot         Didier Pinchon         Ayal Pinkus"
> +"Jose Alfredo Portes"
>  "Claude Quitte"
>  "Norman Ramsey          Michael Richardson     Renaud Rioboo"
>  "Jean Rivlin            Nicolas Robidoux       Simon Robinson"
> -"Michael Rothstein      Martin Rubey"
> +"Raymond Rogers         Michael Rothstein      Martin Rubey"
>  "Philip Santas          Alfred Scheerhorn      William Schelter"
>  "Gerhard Schneider      Martin Schoenert       Marshall Schor"
>  "Frithjof Schulze       Fritz Schwarz          Nick Simicich"
> @@ -790,8 +796,8 @@
>  "Stephen Wilson         Shmuel Winograd        Robert Wisbauer"
>  "Sandra Wityak          Waldemar Wiwianka      Knut Wolf"
>  "Clifford Yapp          David Yun"
> -"Richard Zippel         Evelyn Zoernack        Bruno Zuercher"
> -"Dan Zwillinger"
> +"Vadim Zhytnikov        Richard Zippel         Evelyn Zoernack"
> +"Bruno Zuercher         Dan Zwillinger"
>  ))
>  
>  @