--- Lattice.pamphlet	2004-05-24 15:52:01.000000000 -0700
+++ Lattice.mathml.pamphlet	2007-02-10 13:50:11.000000000 -0800
@@ -1401,6 +1401,8 @@
 DONE tex.spad.pamphlet
 DONE )abbrev domain TEX TexFormat
 DONE )abbrev package TEX1 TexFormat1
+DONE mathml.spad.pamphlet
+DONE )abbrev package MMLFORM MathMLFormat
 DONE tools.spad.pamphlet
 DONE )abbrev package ESTOOLS ExpertSystemToolsPackage
 DONE )abbrev package ESTOOLS1 ExpertSystemToolsPackage1
@@ -4960,6 +4962,11 @@
                     IXAGG HOAGG AGG TYPE EVALAB IEVALAB ELTAGG ELTAB CLAGG
                     KONVERT ORDSET OM PI BOOLEAN LSAGG STAGG URAGG RCAGG ELAGG
                     ORDFIN FINITE 
+mathml     MMLFORM  SETCAT BASTYPE KOERCE INT NNI STRING CHAR SINT OUTFORM
+                    LIST PRIMARR A1AGG ISTRING ILIST STRICAT SRAGG FLAGG LNAGG
+                    IXAGG HOAGG AGG TYPE EVALAB IEVALAB ELTAGG ELTAB CLAGG
+                    KONVERT ORDSET OM PI BOOLEAN LSAGG STAGG URAGG RCAGG ELAGG
+                    ORDFIN FINITE 
 files      TEXTFILE FILECAT SETCAT BASTYPE KOERCE FNCAT STRICAT SRAGG A1AGG 
                     FLAGG LNAGG IXAGG HOAGG AGG TYPE EVALAB IEVALAB ELTAB
                     CLAGG KONVERT ORDSET OM STRING CHAR SINT OUTFORM LIST INT
@@ -5151,6 +5158,7 @@
 sturm.spad.pamphlet (SHP)
 sum.spad.pamphlet (ISUMP GOSPER SUMRF)
 tex.spad.pamphlet (TEX)
+mathml.spad.pamphlet (MMLFORM)
 tree.spad.pamphlet (TREE BTCAT BTREE BSTREE BTOURN BBTREE PENDTREE)
 twofact.spad.pamphlet (NORMRETR TWOFACT)
 unifact.spad.pamphlet (UNIFACT)
@@ -5243,6 +5251,7 @@
         ${OUT}/SUPFRACF.o \
         ${OUT}/TANEXP.o ${OUT}/TEMUTL.o \
         ${OUT}/TEX.o ${OUT}/TEXTFILE.o \
+	${OUT}/MMLFORM.o \
         ${OUT}/TREE.o ${OUT}/TWOFACT.o \
         ${OUT}/UNIFACT.o ${OUT}/UP.o ${OUT}/UPCDEN.o \
         ${OUT}/UPDECOMP.o ${OUT}/UPDIVP.o \
@@ -37336,6 +37345,45 @@
 	rm -f ${DOC}/tex.spad )
 
 @
+\subsection{mathml.spad \cite{1}}
+<<mathml.spad (SPAD from IN)>>=
+${MID}/mathml.spad: ${IN}/mathml.spad.pamphlet
+	@ echo 0 making ${MID}/mathml.spad from ${IN}/mathml.spad.pamphlet
+	@(cd ${MID} ; \
+	${SPADBIN}/notangle ${IN}/mathml.spad.pamphlet >mathml.spad )
+
+@
+<<MMLFORM.o (O from NRLIB)>>=
+${OUT}/MMLFORM.o: ${MID}/MMLFORM.NRLIB
+	@ echo 0 making ${OUT}/MMLFORM.o from ${MID}/MMLFORM.NRLIB
+	@ cp ${MID}/MMLFORM.NRLIB/code.o ${OUT}/MMLFORM.o
+
+@
+<<MMLFORM.NRLIB (NRLIB from MID)>>=
+${MID}/MMLFORM.NRLIB: ${MID}/MMLFORM.spad
+	@ echo 0 making ${MID}/MMLFORM.NRLIB from ${MID}/MMLFORM.spad
+	@ (cd ${MID} ; 	echo ')co MMLFORM.spad' | ${INTERPSYS} )
+
+@
+<<MMLFORM.spad (SPAD from IN)>>=
+${MID}/MMLFORM.spad: ${IN}/mathml.spad.pamphlet
+	@ echo 0 making ${MID}/MMLFORM.spad from ${IN}/mathml.spad.pamphlet
+	@(cd ${MID} ; \
+	rm -rf MMLFORM.NRLIB ; \
+	${SPADBIN}/notangle -R"domain MMLFORM MathMLFormat" ${IN}/mathml.spad.pamphlet >MMLFORM.spad )
+
+@
+<<mathml.spad.dvi (DOC from IN)>>=
+${DOC}/mathml.spad.dvi: ${IN}/mathml.spad.pamphlet
+	@ echo 0 making ${DOC}/mathml.spad.dvi from ${IN}/mathml.spad.pamphlet
+	@ (cd ${DOC} ; \
+	cp ${IN}/mathml.spad.pamphlet ${DOC} ; \
+	${SPADBIN}/document ${NOISE} mathml.spad ; \
+	rm -f ${DOC}/mathml.spad.pamphlet ; \
+	rm -f ${DOC}/mathml.spad.tex ; \
+	rm -f ${DOC}/mathml.spad )
+
+@
 \subsection{tools.spad \cite{1}}
 <<tools.spad (SPAD from IN)>>=
 ${MID}/tools.spad: ${IN}/tools.spad.pamphlet
@@ -44931,6 +44979,13 @@
 <<tex.spad (SPAD from IN)>>
 <<tex.spad.dvi (DOC from IN)>>
 
+<<MMLFORM.o (O from NRLIB)>>
+<<MMLFORM.NRLIB (NRLIB from MID)>>
+<<MMLFORM.spad (SPAD from IN)>>
+
+<<mathml.spad (SPAD from IN)>>
+<<mathml.spad.dvi (DOC from IN)>>
+
 <<ESTOOLS.o (O from NRLIB)>>
 <<ESTOOLS.NRLIB (NRLIB from MID)>>
 <<ESTOOLS.spad (SPAD from IN)>>