%s

X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Fbin%2Froles%2FwebLWS.ml;h=35b658a1fed2833a921ff76da8a9562b1e843964;hp=89dbfb5d2747cd316633b1c9e54e4fbf0e5cc310;hb=59fd7b5ea24e71b47aee069440f140bcccf1292a;hpb=456a157eba1428fd4ec02713e60ac2b653a0e0b0 diff --git a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml index 89dbfb5d2..35b658a1f 100644 --- a/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml +++ b/matita/matita/contribs/lambdadelta/bin/roles/webLWS.ml @@ -62,7 +62,7 @@ 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 +74,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 "