X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2Ftable.ml;h=d3ee13bfa14e11d87a9eaf593ba17963290ce025;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hp=fe15c94dbe5a2c3b31c49b1d138d460be7323548;hpb=c0d87c3cdf879f61aa53e91f43580e9815ae7190;p=helm.git

diff --git a/helm/www/lambdadelta/bin/xhtbl/table.ml b/helm/www/lambdadelta/bin/xhtbl/table.ml
index fe15c94db..d3ee13bfa 100644
--- a/helm/www/lambdadelta/bin/xhtbl/table.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/table.ml
@@ -4,6 +4,8 @@ type uri = string
 
 type ext = string
 
+type anchor = string
+
 type absolute = bool
 
 type size = {
@@ -30,6 +32,7 @@ type key = Text of text list
          | Glue of int option
 
 type table = {
+           tn: anchor; (* named anchor *)
    mutable tc: css;    (* css classes *)
    mutable tu: uri;    (* uri *)
    mutable tx: ext;    (* uri extension *)
@@ -54,14 +57,14 @@ let border b = {
    n = b; s = b; e = b; w = b;
 }
 
-let mk_key k tc tu tx = {
+let mk_key k tc tu tx tn = {
    ts = no_size; tb = border false; te = Key k;
-   tc = tc; tu = tu; tx = tx;
+   tc = tc; tu = tu; tx = tx; tn = tn;
    ti = id ();
 }
 
-let mk_line b tl tc tu tx = {
+let mk_line b tl tc tu tx tn = {
    ts = no_size; tb = border b; te = Line (b, tl);
-   tc = tc; tu = tu; tx = tx;
+   tc = tc; tu = tu; tx = tx; tn = tn;
    ti = id ();
 }