diff --git a/changelog b/changelog
index cb6b97b..e553040 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,5 @@
+20071205 wxh src/algebra/mathml fix empty list on continuedFraction bug (7014)
+20071205 wxh src/algebra/mathml remove code to eat %% (bug 7016)
20071129 tpd zips/axiomfonts.tgz remove fonts, change instructions
20071129 tpd zips/axiomfonts.tgz add mathml fonts
20071119 tpd Makefile.pamphlet add fedora6,7,8 stanzas
diff --git a/src/algebra/mathml.spad.pamphlet b/src/algebra/mathml.spad.pamphlet
index f704c76..e5eaaf7 100644
--- a/src/algebra/mathml.spad.pamphlet
+++ b/src/algebra/mathml.spad.pamphlet
@@ -1227,7 +1227,9 @@ have to be switched by swapping names.
-- {{ZAG}{1}{7}}
tmpZag : L E := first args pretend L E
#args > 1 => ""formatMml(first rest tmpZag,minPrec)""formatMml(first rest rest tmpZag,minPrec)"+"formatZag(rest args)""
- ""formatMml(first rest tmpZag,minPrec)formatMml(first rest rest tmpZag,minPrec)""
+ -- EQUAL(tmpZag, "...")$Lisp => "…"
+ (first args = "...":: E)@Boolean => "…"
+ error "formatZag: Unexpected kind of ZAG"
formatZag1(args : L E) : S ==
-- make alternative ZAG format without diminishing fonts, maybe
@@ -1235,7 +1237,9 @@ have to be switched by swapping names.
-- {{ZAG}{1}{7}}
tmpZag : L E := first args pretend L E
#args > 1 => ""formatMml(first rest tmpZag,minPrec)""formatMml(first rest rest tmpZag,minPrec)"+"formatZag(rest args)""
- ""formatMml(first rest tmpZag,minPrec)formatMml(first rest rest tmpZag,minPrec)""
+ (first args = "...":: E)@Boolean => "…"
+ error "formatZag1: Unexpected kind of ZAG"
+
formatMml(expr : E,prec : I) ==
i,len : Integer
@@ -1267,10 +1271,6 @@ have to be switched by swapping names.
-- ExponentialE
str = "%i" => "ⅈ"
-- ImaginaryI
- -- what sort of atom starts with %%? need an example
- len > 1 and str.1 = char "%" and str.2 = char "%" =>
- u : US := segment(3,len)$US
- concat(concat("",str.u),"")
len > 0 and str.1 = char "%" => concat(concat("",str),"")
len > 1 and digit? str.1 => concat ["",str,""] -- should handle floats
-- presumably this is a literal string