X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Fpass1.ml;h=bedd9619fffe702d2368a5328cb8e15d4261a6cc;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hp=1c53e7d6fba432d98e0a63a13e2b2df1909d747b;hpb=2a5e0b799cd6aae5d920c67a5ddc9d9888cf7e80;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/pass1.ml b/helm/www/lambdadelta/bin/xhtbl/pass1.ml
index 1c53e7d6f..bedd9619f 100644
--- a/helm/www/lambdadelta/bin/xhtbl/pass1.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/pass1.ml
@@ -6,10 +6,12 @@ module F = Fold
 type status = {
    ts: T.size; (* current dimensions *)
    tc: T.css;  (* current class *)
+   tu: T.uri;  (* current uri *)
+   tx: T.ext;  (* current extension *)
 }
 
 let empty = {
-   ts = T.no_size; tc = [];
+   ts = T.no_size; tc = []; tu = ""; tx = ""
 }
 
 let init b ts =
@@ -38,8 +40,8 @@ let deinit ts = {ts with
 (****************************************************************************)
 
 let open_table st t =
-   t.T.tc <- t.T.tc @ st.tc;
-   {st with tc = t.T.tc}
+   t.T.tc <- t.T.tc @ st.tc; t.T.tu <- st.tu ^ t.T.tu; t.T.tx <- st.tx ^ t.T.tx; 
+   {st with tc = t.T.tc; tu = t.T.tu; tx = t.T.tx}
 
 let close_table st t =
    t.T.ts <- st.ts; st