X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=8f6458af507d45a440a2c6dd600cfe77f818fbc5;hb=a4df9661e15509e5da6ed9c57e3ab6a27a440c3f;hp=d49da35ba42c81d687d55c431b919bf47ecb0f5c;hpb=12e10515abf4f7f2a863d7844972d67a9bbec92b;p=helm.git

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index d49da35ba..8f6458af5 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -189,6 +189,7 @@ function makeURL(type,uri,cicflags,typesflags)
        "&prop.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
        "&prop.encoding=iso-8859-1" +
        "&prop.media-type=text/html" +
+       "&prop.method=html" +
        "&param.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+
        "&param.encoding=iso-8859-1" +
        "&param.media-type=text/html" +