]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/matrix.ml
- we begin the new site based on ld_web
[helm.git] / helm / www / lambdadelta / bin / xhtbl / matrix.ml
index 4769a54574886ab91c35ba3d0db2aaf558ceef42..86d6f053a4a72027787d5b1da2f4b362c3e6f4fe 100644 (file)
@@ -3,7 +3,7 @@ module A = Array
 module T = Table
 
 type cell = {
-   ck: string list; (* contents *)
+   ck: T.text list; (* contents *)
    cc: T.css;       (* css classes *)
    cb: T.border;    (* border *)
 }