X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass3.ml;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass3.ml;h=0000000000000000000000000000000000000000;hb=d2545ffd201b1aa49887313791386add78fa8603;hp=d2455a30ac4257e1fb7a55c22767b3ed61b9dacd;hpb=57ae1762497a5f3ea75740e2908e04adb8642cc2;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/pass3.ml b/helm/www/lambdadelta/bin/xhtbl/pass3.ml
deleted file mode 100644
index d2455a30a..000000000
--- a/helm/www/lambdadelta/bin/xhtbl/pass3.ml
+++ /dev/null
@@ -1,32 +0,0 @@
-module L = List
-module S = String
-module V = Array
-
-module T = Table
-module M = Matrix
-module A = Attr
-
-type status = {
-   m: M.matrix;
-   c: T.css A.atoms;
-   u: T.uri A.atoms;
-   x: T.ext A.atoms;
-}
-
-let initial c u x m = {
-   m = m; c = c; u = u; x = x
-}
-
-let process_cell st y x c =
-   M.set_attrs st.m y x
-      (A.get_attr L.concat [] st.c y x)
-      (A.get_attr (S.concat "") "" st.u y x)
-      (A.get_attr (S.concat "") "" st.x y x)
-      ""
-
-let process_row st y row =
-   V.iteri (process_cell st y) row
-
-let process css uri ext matrix =
-   let st = initial css uri ext matrix in
-   V.iteri (process_row st) matrix.M.m