diff --git a/books/bookvol10.3.pamphlet b/books/bookvol10.3.pamphlet index 412ac1d..4e9de95 100644 --- a/books/bookvol10.3.pamphlet +++ b/books/bookvol10.3.pamphlet @@ -41423,7 +41423,8 @@ GuessOption(): Exports == Implementation where checkOptions l == if not empty? l then - if find((first l).keyword = #1.keyword, rest l) case "failed" + if find((z1:%):Boolean +-> (first l).keyword = z1.keyword, rest l)_ + case "failed" then checkOptions rest l else error "GuessOption: Option specified twice" diff --git a/changelog b/changelog index 1d4eedf..765b097 100644 --- a/changelog +++ b/changelog @@ -1,3 +1,5 @@ +20090512 tpd src/axiom-website/patches.html 20090512.01.tpd.patch +20090512 tpd books/bookvol10.3 GOPT +-> conversion 20090511 tpd src/axiom-website/patches.html 20090511.19.tpd.patch 20090511 tpd books/bookvol10.4 CDEN +-> conversion 20090511 tpd src/axiom-website/patches.html 20090511.18.tpd.patch diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html index b9c38b3..bcf11a0 100644 --- a/src/axiom-website/patches.html +++ b/src/axiom-website/patches.html @@ -1252,5 +1252,7 @@ bookvol10.2 FFCAT +-> conversion
bookvol10.3 GSERIES +-> conversion
20090511.19.tpd.patch bookvol10.4 CDEN +-> conversion
+20090512.01.tpd.patch +bookvol10.3 GOPT +-> conversion