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