diff --git a/books/bookvol9.pamphlet b/books/bookvol9.pamphlet
index 2bffffd..80d0d0f 100644
--- a/books/bookvol9.pamphlet
+++ b/books/bookvol9.pamphlet
@@ -7028,7 +7028,7 @@ $\rightarrow$
\usesdollar{genDomainViewList}{EmptyEnvironment}
\begin{chunk}{defun genDomainViewList}
(defun |genDomainViewList| (id catlist firsttime)
- (declare (special |$EmptyEnvironment|))
+ (declare (special |$EmptyEnvironment|) (ignore firsttime))
(cond
((null catlist) nil)
((and (pairp catlist) (eq (qcdr catlist) nil)
@@ -7074,6 +7074,30 @@ $\rightarrow$
\end{chunk}
+\defun{augModemapsFromCategory}{augModemapsFromCategory}
+\calls{augModemapsFromCategory}{evalAndSub}
+\calls{augModemapsFromCategory}{compilerMessage}
+\calls{augModemapsFromCategory}{putDomainsInScope}
+\calls{augModemapsFromCategory}{addModemapKnown}
+\defsdollar{augModemapsFromCategory}{base}
+\begin{chunk}{defun augModemapsFromCategory}
+(defun |augModemapsFromCategory| (domainName functorform categoryForm env)
+ (let (tmp1 op sig cond fnsel)
+ (declare (special |$base|))
+ (setq tmp1 (|evalAndSub| domainName domainName functorform categoryForm env))
+ (|compilerMessage| (list '|Adding | domainName '| modemaps|))
+ (setq env (|putDomainsInScope| domainName (second tmp1)))
+ (setq |$base| 4)
+ (dolist (u (first tmp1))
+ (setq op (caar u))
+ (setq sig (cadar u))
+ (setq cond (cadr u))
+ (setq fnsel (caddr u))
+ (setq env (|addModemapKnown| op domainName sig cond fnsel env)))
+ env))
+
+\end{chunk}
+
\defun{genDomainOps}{genDomainOps}
\calls{genDomainOps}{getOperationAlist}
\calls{genDomainOps}{substNames}
@@ -7085,7 +7109,7 @@ $\rightarrow$
\usesdollar{genDomainOps}{getDomainCode}
\begin{chunk}{defun genDomainOps}
(defun |genDomainOps| (viewName dom cat)
- (let (siglist oplist cd opsig i)
+ (let (siglist oplist cd i)
(declare (special |$e| |$ConditionalOperators| |$getDomainCode|))
(setq oplist (|getOperationAlist| dom dom cat))
(setq siglist (loop for lst in oplist collect (first lst)))
@@ -7094,7 +7118,7 @@ $\rightarrow$
(list 'let viewName
(list '|mkOpVec| dom
(cons 'list
- (loop for opsig in siglist do
+ (loop for opsig in siglist
collect
(list 'list (mkq (first opsig))
(cons 'list
@@ -7129,7 +7153,7 @@ $\rightarrow$
\uses{mkOpVec}{Undef}
\begin{chunk}{defun mkOpVec}
(defun |mkOpVec| (dom siglist)
- (let (substargs oplist ops u noplist n i tmp1)
+ (let (substargs oplist ops u noplist i tmp1)
(declare (special |$FormalMapVariableList| |Undef|))
(setq dom (|getPrincipalView| dom))
(setq substargs
@@ -16392,6 +16416,7 @@ if \verb|$InteractiveMode| then use a null outputstream
\getchunk{defun aplTran1}
\getchunk{defun aplTranList}
\getchunk{defun argsToSig}
+\getchunk{defun augModemapsFromCategory}
\getchunk{defun blankp}
\getchunk{defun bumperrorcount}
diff --git a/changelog b/changelog
index f989837..51606c9 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,7 @@
+20110707 tpd src/axiom-website/patches.html 20110707.01.tpd.patch
+20110707 tpd src/interp/interp-proclaims.lisp change function arity
+20110707 tpd src/interp/modemap.lisp treeshake compiler
+20110707 tpd books/bookvol9 treeshake compiler
20110706 tpd src/axiom-website/patches.html 20110706.01.tpd.patch
20110706 tpd src/scripts/tex/axiom.sty define \defsdollar and \refsdollar
20110706 tpd src/doc/axiom.sty define \defsdollar and \refsdollar
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index d27531f..a5aa0c8 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -3528,5 +3528,7 @@ Makefile.pamphlet add BUILD=full / BUILD=fast
books/bookvol5 remove dewriteify,s inner function
20110706.01.tpd.patch
books/bookvol9 use \defsdollar and \refsdollar
+20110707.01.tpd.patch
+books/bookvol9 treeshake compiler