]> matita.cs.unibo.it Git - helm.git/commitdiff
method HTML forced for html output
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 22 Jan 2003 15:40:38 +0000 (15:40 +0000)
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" +