axiom-developer
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] 20070721.01.tpd.patch applied to silver


From: daly
Subject: [Axiom-developer] 20070721.01.tpd.patch applied to silver
Date: Mon, 27 Aug 2007 01:57:41 -0500

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"
 ))
 
 @




reply via email to

[Prev in Thread] Current Thread [Next in Thread]