- we begin the new site based on ld_web

[helm.git] / helm / www / lambdadelta / bin / xhtbl / table.ml

diff --git a/helm/www/lambdadelta/bin/xhtbl/table.ml b/helm/www/lambdadelta/bin/xhtbl/table.ml
index e363cd4347b18864ae9b1e0405cd20c4353782e1..204df4c903d6a77be8a424fa8957e46ac216b2a2 100644 (file)
--- a/helm/www/lambdadelta/bin/xhtbl/table.ml
+++ b/helm/www/lambdadelta/bin/xhtbl/table.ml
@@ -17,7 +17,10 @@ type border = {
    w: bool; (* west *)
 }
 
-type key = Text of string list
+type text = Plain of string
+          | Link of string * string
+
+type key = Text of text list
          | Glue of int option
 
 type table = {