diff --git a/books/bookvol9.pamphlet b/books/bookvol9.pamphlet
index dcdeb4d..5f3c821 100644
--- a/books/bookvol9.pamphlet
+++ b/books/bookvol9.pamphlet
@@ -23968,7 +23968,43 @@ Formal for libdb.text:
\end{chunk}
+\defun{purgeNewConstructorLines}{purgeNewConstructorLines}
+\calls{purgeNewConstructorLines}{screenLocalLine}
+\begin{chunk}{defun purgeNewConstructorLines}
+(defun |purgeNewConstructorLines| (lines conlist)
+ (loop for x in lines
+ when (null (|screenLocalLine| x conlist))
+ collect x))
+
+\end{chunk}
+
+;dbWriteLines(s, :options) ==
+; pathname := IFCAR options or getTempPath 'source
+; $outStream: local := MAKE_-OUTSTREAM pathname
+; for x in s repeat writedb x
+; SHUT $outStream
+; pathname
+
+\defun{dbWriteLines}{dbWriteLines}
+\calls{dbWriteLines}{ifcar}
+\calls{dbWriteLines}{getTempPath}
+\calls{dbWriteLines}{make-outstream}
+\calls{dbWriteLines}{writedb}
+\calls{dbWriteLines}{shut}
+\defsdollar{dbWriteLines}{outStream}
+\refsdollar{dbWriteLines}{outStream}
+\begin{chunk}{defun dbWriteLines}
+(defun |dbWriteLines| (&rest G176369 &aux options s)
+ (dsetq (s . options) G176369)
+ (let (|$outStream| pathname)
+ (declare (special |$outStream|))
+ (setq pathname (or (ifcar options) (|getTempPath| '|source|)))
+ (setq |$outStream| (make-outstream pathname))
+ (loop for x in s do (|writedb| x))
+ (shut |$outStream|)
+ pathname))
+\end{chunk}
\defun{print-defun}{print-defun}
@@ -26272,6 +26308,7 @@ The current input line.
\getchunk{defun current-token}
\getchunk{defun dbReadLines}
+\getchunk{defun dbWriteLines}
\getchunk{defun decodeScripts}
\getchunk{defun deepestExpression}
\getchunk{defun def-rename}
@@ -26665,6 +26702,7 @@ The current input line.
\getchunk{defun primitiveType}
\getchunk{defun print-defun}
\getchunk{defun processFunctor}
+\getchunk{defun purgeNewConstructorLines}
\getchunk{defun push-reduction}
\getchunk{defun putDomainsInScope}
\getchunk{defun putInLocalDomainReferences}
diff --git a/changelog b/changelog
index 489849d..06cd895 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+20120101 tpd src/axiom-website/patches.html 20120101.01.tpd.patch
+20120101 tpd src/interp/br-con.lisp treeshake compiler
+20120101 tpd books/bookvol9 treeshake compiler
20111231 tpd src/axiom-website/patches.html 20111231.02.tpd.patch
20111231 tpd src/interp/br-con.lisp treeshake compiler
20111231 tpd books/bookvol9 treeshake compiler
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index 62bb129..6b1f228 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -3753,5 +3753,7 @@ books/bookvol9 treeshake and document compiler
src/axiom-website/axiomgraph/js/axiomcode.js default compiler
20111231.02.tpd.patch
books/bookvol9 treeshake compiler
+20120101.01.tpd.patch
+books/bookvol9 treeshake compiler