From: Claudio Sacerdoti Coen Date: Wed, 11 Apr 2001 11:03:00 +0000 (+0000) Subject: Control panel added to CIC window X-Git-Tag: v0_1_2~23 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e390ca66e2d7db49828ed68abbb25f7115a13c68;p=helm.git Control panel added to CIC window --- diff --git a/helm/on-line/html/cic/control.html b/helm/on-line/html/cic/control.html new file mode 100644 index 000000000..106392429 --- /dev/null +++ b/helm/on-line/html/cic/control.html @@ -0,0 +1,30 @@ + + + +??? + + + + + + + + + + +

Broken control frame. Useful soon! (stay tooned)

+ + + + diff --git a/helm/on-line/html/cic/index.html b/helm/on-line/html/cic/index.html new file mode 100644 index 000000000..c0611022c --- /dev/null +++ b/helm/on-line/html/cic/index.html @@ -0,0 +1,44 @@ + + + + + + ???</script> + + + + diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js index 74903c692..de22891cc 100644 --- a/helm/on-line/javascript/control.js +++ b/helm/on-line/javascript/control.js @@ -113,6 +113,8 @@ function makeURL(type,uri,cicflags,typesflags) var keys = ""; var url = ""; + var interfaceURL = chopSlash(chopSlash(top.topurl)) + "/cic/index.html"; + var output = mode_list[0]; var format; if (output == "raw") format = mode_list[1]; @@ -134,7 +136,8 @@ function makeURL(type,uri,cicflags,typesflags) "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ "¶m.encoding=iso-8859-1" + "¶m.media-type=text/html" + - "¶m.keys=" + escape("C1,HC2,L"); + "¶m.keys=" + escape("C1,HC2,L") + + "¶m.interfaceURL=" + escape(interfaceURL); } else if (format == "html" && type == "theory") { keys = escape("T1,T2,L,E")+"¶m.processorURL=" + escape(processorURL) + "¶m.getterURL=" + escape(getterURL) + @@ -142,7 +145,8 @@ function makeURL(type,uri,cicflags,typesflags) "¶m.doctype-public="+escape("-//W3C//DTD XHTML 1.0 Transitional//EN")+ "¶m.encoding=iso-8859-1" + "¶m.media-type=text/html" + - "¶m.keys=" + escape("C1,HC2,L"); + "¶m.keys=" + escape("C1,HC2,L") + + "¶m.interfaceURL=" + escape(interfaceURL); } else if (format == "mml_cont" && type == "cic") { keys = "C1"; } else if (format == "mml_cont" && type == "theory") { @@ -156,14 +160,16 @@ function makeURL(type,uri,cicflags,typesflags) "¶m.doctype-public=" + "¶m.encoding=" + "¶m.media-type=text/xml" + - "¶m.keys=" + escape("C1,C2,L"); + "¶m.keys=" + escape("C1,C2,L") + + "¶m.interfaceURL=" + escape(interfaceURL); } else if (format == "mml_pres" && type == "theory") { - keys = escape("T1,T2,L,E")+"¶m.keys=C1,C2¶m.thkeys=TC1,C2,L" + + keys = escape("T1,T2,L,E")+"¶m.keys=C1,C2,L¶m.thkeys=TC1,C2,L" + "¶m.processorURL=" + escape(processorURL) + "¶m.getterURL=" + escape(getterURL) + "¶m.doctype-public=" + "¶m.encoding=" + - "¶m.media-type=text/xml"; + "¶m.media-type=text/xml" + + "¶m.interfaceURL=" + escape(interfaceURL); } var naturalLanguage = typesflags; @@ -177,6 +183,6 @@ function makeURL(type,uri,cicflags,typesflags) url = processorURL + "apply?xmluri=" + escape(getterURL + "getxml?uri=" + uri) + "&keys=" + keys + "¶m.CICURI=" + uri + "¶m.naturalLanguage=" + naturalLanguage + "¶m.annotations=" + annotations; } - return url; + return interfaceURL + "?url=" + escape(url); } diff --git a/helm/on-line/xslt/ls2html.xsl b/helm/on-line/xslt/ls2html.xsl index 4521eaaf4..606d750f8 100644 --- a/helm/on-line/xslt/ls2html.xsl +++ b/helm/on-line/xslt/ls2html.xsl @@ -66,6 +66,7 @@ Index of <xsl:value-of select="$uri"/>

+