%s

X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FwebLWS.ml;h=cef1620074b8a7aa500e2a80250b3080afb0a0b0;hb=277fc8ff21ce3dbd6893b1994c55cf5c06a98355;hp=89dbfb5d2747cd316633b1c9e54e4fbf0e5cc310;hpb=cfccf434a57e10848d74d06674af4ec9cef0f0ca;p=helm.git diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml index 89dbfb5d2..cef162007 100644 --- a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml +++ b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml @@ -56,13 +56,14 @@ let string_of_request cx (opts, fi) = let str = KT.concat "&" (KL.map opt_map opts) in KP.sprintf "/%s?%s" cx str in - KP.sprintf "%s#%s" str fi + let fi = if fi = "" then "" else "#" ^ fi in + KP.sprintf "%s%s" str fi let control_input form = KP.printf "" form "control-random" (get_random ()) -let open_out_html author description title css icon = +let open_out_html author description title icon css js = open_out "application/xhtml+xml" 0; KP.printf "\n"; KP.printf "\n"; @@ -74,13 +75,15 @@ let open_out_html author description title css icon = KP.printf " \n"; KP.printf " \n"; KP.printf " \n"; + KP.printf " \n"; KP.printf " \n" author; KP.printf " \n" description; KP.printf " %s" title; - KP.printf " \n" css; KP.printf " \n" icon; + KP.printf " \n" css; KP.printf "\n"; - KP.printf "\n" + KP.printf "\n"; + KP.printf "