]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml
- xhtbl: we added the real concatenation of cells (without added spaces)
[helm.git] / helm / www / lambdadelta / bin / xhtbl / xmlUnparser.ml
index 603c7f1bebd1baa2706ce4273b34e5a214ccc5b3..e46682c3f13bd8930379a2738d25d652e8dde476 100644 (file)
@@ -30,7 +30,7 @@ let text baseuri ext = function
       P.sprintf "<a href=\"%s\">%s</a>" uri s
 
 let key cell =
-   if cell.M.ck = [] then "<br/>" else S.concat " " (L.map (text cell.M.cu cell.M.cx) cell.M.ck)
+   if cell.M.ck = [] then "<br/>" else S.concat "" (L.map (text cell.M.cu cell.M.cx) cell.M.ck)
 
 let ind i = S.make (2 * i) ' '