X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FtextUnparser.ml;fp=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FtextUnparser.ml;h=fec699bcbad3ac63d0d8936977778944d1d630be;hb=cb0d4e730bd6ec9bed1018be37748120f740f0a9;hp=54995e96bb967591d04b536907bde5322e093955;hpb=645b62762e9c86e343d4741541a2ddccfed8ebc7;p=helm.git diff --git a/helm/www/lambdadelta/bin/xhtbl/textUnparser.ml b/helm/www/lambdadelta/bin/xhtbl/textUnparser.ml index 54995e96b..fec699bcb 100644 --- a/helm/www/lambdadelta/bin/xhtbl/textUnparser.ml +++ b/helm/www/lambdadelta/bin/xhtbl/textUnparser.ml @@ -41,10 +41,12 @@ let border tb = let css tc = P.sprintf "\"%s\"" (S.concat " " tc) +let text = function + | T.Plain s -> P.sprintf "\"%s\"" s + | T.Link (uri, s) -> P.sprintf "@(\"%s\" \"%s\")" uri s + let key = function - | T.Text sl -> - let map s = P.sprintf "\"%s\"" s in - S.concat " + " (L.map map sl) + | T.Text sl -> S.concat " + " (L.map text sl) | T.Glue None -> "*" | T.Glue (Some i) -> P.sprintf "%u" i