diff --git a/books/bookvol5.pamphlet b/books/bookvol5.pamphlet index 60d58b4..70d3b01 100644 --- a/books/bookvol5.pamphlet +++ b/books/bookvol5.pamphlet @@ -392,9 +392,9 @@ of effort. We would like to acknowledge and thank the following people: "Jinzhong Niu" "Michael O'Connor Summat Oemrawsingh Kostas Oikonomou" "Humberto Ortiz-Zuazaga" -"Julian A. Padget Bill Page Susan Pelzel" -"Michel Petitot Didier Pinchon Ayal Pinkus" -"Jose Alfredo Portes" +"Julian A. Padget Bill Page David Parnas" +"Susan Pelzel Michel Petitot Didier Pinchon" +"Ayal Pinkus Jose Alfredo Portes" "Claude Quitte" "Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko" "Albert D. Rich Michael Richardson Renaud Rioboo" diff --git a/changelog b/changelog index d33c1b5..37c8d26 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,8 @@ +20100608 tpd src/axiom-website/patches.html 20100608.04.tpd.patch +20100608 tpd src/input/unittest1.input add David Parnas to credits +20100608 tpd books/bookvol5 add David Parnas to credits +20100608 tpd readme add David Parnas to credits +20100608 dxp David Parnas 20100608 tpd src/axiom-website/patches.html 20100608.03.tpd.patch 20100608 tpd src/input/Makefile rule-based trig integration 20100608 tpd src/input/richtrig000-099.input rule-based trig integration diff --git a/readme b/readme index ae416d5..ab068ce 100644 --- a/readme +++ b/readme @@ -246,9 +246,9 @@ at the axiom command prompt will prettyprint the list. "Jinzhong Niu" "Michael O'Connor Summat Oemrawsingh Kostas Oikonomou" "Humberto Ortiz-Zuazaga" -"Julian A. Padget Bill Page Susan Pelzel" -"Michel Petitot Didier Pinchon Ayal Pinkus" -"Jose Alfredo Portes" +"Julian A. Padget Bill Page David Parnas" +"Susan Pelzel Michel Petitot Didier Pinchon" +"Ayal Pinkus Jose Alfredo Portes" "Claude Quitte" "Arthur C. Ralfs Norman Ramsey Anatoly Raportirenko" "Albert D. Rich Michael Richardson Renaud Rioboo" diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index 81b09a9..61516bf 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -2864,6 +2864,8 @@ src/input/richexponential.input rule-based exponential integration
books/bookvolbib add Lecerf[Le96], Dewar[Dew94], Brunelli[Bru09]
20100608.03.tpd.patch src/input/richtrig000-099.input rule-based trig integration
+20100608.04.tpd.patch +books/bookvol5 add David Parnas to credits
diff --git a/src/input/unittest1.input.pamphlet b/src/input/unittest1.input.pamphlet index 771c058..646244e 100644 --- a/src/input/unittest1.input.pamphlet +++ b/src/input/unittest1.input.pamphlet @@ -326,9 +326,9 @@ Unit test the user level commands --RJinzhong Niu --RMichael O'Connor Summat Oemrawsingh Kostas Oikonomou --RHumberto Ortiz-Zuazaga ---RJulian A. Padget Bill Page Susan Pelzel ---RMichel Petitot Didier Pinchon Ayal Pinkus ---RJose Alfredo Portes +--RJulian A. Padget Bill Page David Parnas +--RSusan Pelzel Michel Petitot Didier Pinchon +--RAyal Pinkus Jose Alfredo Portes --RClaude Quitte --RArthur C. Ralfs Norman Ramsey Anatoly Raportirenko --RAlbert D. Rich Michael Richardson Renaud Rioboo