]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/control.js
method HTML forced for html output
[helm.git] / helm / on-line / javascript / control.js
index d49da35ba42c81d687d55c431b919bf47ecb0f5c..8f6458af507d45a440a2c6dd600cfe77f818fbc5 100644 (file)
@@ -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" +