]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/bin/xhtbl/pass2.ml
update in basic_2
[helm.git] / helm / www / lambdadelta / bin / xhtbl / pass2.ml
index 68cc7ba9990d35e045cb6a3ea0c174fb7e3620cb..549d7654ec22957cc037889db886c60c2fbc1e68 100644 (file)
@@ -50,11 +50,11 @@ let set_key st t = match t.T.te with
    | T.Key (T.Text sl) -> M.set_key st.tm t.T.ts.T.y t.T.ts.T.x sl  
    | _                 -> ()
 
-let set_css st t =
+let set_attrs st t =
    let rec aux y x =
       if y >= t.T.ts.T.rf then () else
       if x >= t.T.ts.T.cf then aux (succ y) 0 else begin
-        M.set_css st.tm (t.T.ts.T.y + y) (t.T.ts.T.x + x) t.T.tc;
+        M.set_attrs st.tm (t.T.ts.T.y + y) (t.T.ts.T.x + x) t.T.tc t.T.tu t.T.tx t.T.tn;
          aux y (succ x)
       end
    in
@@ -114,7 +114,7 @@ let open_table st t =
    print st t; st
 
 let close_table st t =
-   set_key st t; set_css st t; set_borders st t; st
+   set_key st t; set_attrs st t; set_borders st t; st
 
 let map_key st k = st