]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambda_delta/bin/xhtbl/xmlUnparser.ml
- xhtbl: we added the construction + to place several keys in one cell
[helm.git] / helm / www / lambda_delta / bin / xhtbl / xmlUnparser.ml
index 17f24671c376af30edcbc7591bf2e48f89dd274a..3583c2f7536e95d045a4dd0776bbf81d4169b8c2 100644 (file)
@@ -23,7 +23,7 @@ let border cell =
    str :: cell.M.cc
 
 let key cell =
-   if cell.M.ck = "" then "<br/>" else cell.M.ck
+   if cell.M.ck = [] then "<br/>" else S.concat " " cell.M.ck
 
 let ind i = S.make (2 * i) ' '