X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fwww%2Flambdadelta%2Fbin%2Fxhtbl%2FxmlUnparser.ml;h=2f29e4bb728192f22c7f5142428826d63013597e;hb=57ae1762497a5f3ea75740e2908e04adb8642cc2;hp=0ff801e93c4c96e074f88bae7726058f7a1f9050;hpb=3167db4903eea2eddc60a91cfd922be3672ce077;p=helm.git diff --git a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml index 0ff801e93..2f29e4bb7 100644 --- a/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml +++ b/helm/www/lambdadelta/bin/xhtbl/xmlUnparser.ml @@ -8,6 +8,8 @@ module O = Options module T = Table module M = Matrix +let xhtbl = "xhtbl" + let i = 0 let myself = F.basename (Sys.argv.(0)) @@ -15,6 +17,7 @@ let myself = F.basename (Sys.argv.(0)) let msg = P.sprintf "This file was generated by %s, do not edit" myself let compose uri ext = + if uri.[pred (S.length uri)] = '/' then uri else try let i = S.index uri '#' in let uri, fragment = S.sub uri 0 i, S.sub uri i (S.length uri - i) in @@ -45,14 +48,14 @@ let key cell = let ind i = S.make (2 * i) ' ' let out_cell och cell = - let cc = border cell in + let cc = xhtbl :: border cell in P.fprintf och "%s