X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;fp=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=8f6458af507d45a440a2c6dd600cfe77f818fbc5;hb=4bf7f0ebfdd388499250463242fd5a0dd625e66c;hp=d49da35ba42c81d687d55c431b919bf47ecb0f5c;hpb=35f81e48378eba29e8b8d6dc0eaf22d20f55f3c7;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" + "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ "¶m.encoding=iso-8859-1" + "¶m.media-type=text/html" +