+++ /dev/null
-<?xml version="1.0" encoding="UTF-8"?>
-<!--
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "DTD/xhtml1-strict.dtd">
--->
-
-<html xmlns:subst="http://www.cs.unibo.it/helm/subst">
-<head>
-<!-- Note: <subst:script/> are substitued by the stylesheet with <script /> -->
-<!-- after changing @src in the concatenation of the interface URL with @src -->
-<subst:script language="JavaScript" src="/javascript/defaults.js" />
-<subst:script language="JavaScript" src="/javascript/utils.js" />
-<title>Index</title>
-</head>
-<script>
- var topurl = "<subst:topurl/>";
-<![CDATA[
- document.write('<frameset rows="18%,*" border="0" scrolling="no">');
- var control_frame_URL=
- topurl + '/html/library/control.html' +
- '?topurl=' + topurl +
- '&mode=' + getParam2('mode') +
- '&cicuri=' + getParam2('cicuri') +
- '&theoryuri=' + getParam2('theoryuri') +
- '&processorURL=' + getParam2('processorURL') +
- '&getterURL=' + getParam2('getterURL') +
- '&proofcheckerURL=' + getParam2('proofcheckerURL') +
- '&draw_graphURL=' + getParam2('draw_graphURL') +
- '&uri_set_queueURL=' + getParam2('uri_set_queueURL') +
- '&UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL');
- var escaped_control_frame_URL = escape(control_frame_URL);
- document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
- '?keys=RT' +
- '¶m.topurl=' + topurl +
- '&xmluri=' + escaped_control_frame_URL + '" name="control"/>');
- document.write('<frameset cols="50%,50%" border="0" scrolling="no">');
- document.write('<frameset rows="11%,*" border="0" scrolling="no">');
- document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
- '?keys=GP' +
- //'&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
- '&xmluri=' + topurl + '/html/library/header.html' +
- '¶m.uri=' + getParam2('theoryuri') +
- '" name="theoryheader"/>');
- document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
- '?keys=L2H' +
- '&xmluri=' + escape(getParam2('getterURL') + 'ls?format=xml&baseuri=' + getParam2('theoryuri')) +
- '¶m.keys=L2H' +
- '¶m.uri=' + getParam2('theoryuri') +
- '¶m.getterURL=' + getParam2('getterURL') +
- '¶m.proofcheckerURL=' + getParam2('proofcheckerURL') +
- '¶m.draw_graphURL=' + getParam2('draw_graphURL') +
- '¶m.uri_set_queueURL='+getParam2('uri_set_queueURL') +
- '¶m.UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL') +
- '¶m.target=theory' +
- //'¶m.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
- '¶m.interfaceURL=' + topurl +
- '" name="theoryresult"/>');
- document.write('</frameset>');
- document.write('<frameset rows="11%,*" border="0" scrolling="no">');
- document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
- '?keys=GP' +
- //'&xmluri=' + location.protocol + "//" + location.host + chopSlash(location.pathname) + "/header.html" +
- '&xmluri=' + topurl + '/html/library/header.html' +
- '¶m.uri=' + getParam2('cicuri') +
- '" name="cicheader"/>');
- document.write('<frame src="' +
- getParam2('processorURL') + 'apply' +
- '?keys=L2H' +
- '&xmluri=' + escape(getParam2('getterURL') + 'ls?format=xml&baseuri=' + getParam2('cicuri')) +
- '¶m.keys=L2H' +
- '¶m.uri=' + getParam2('cicuri') +
- '¶m.getterURL=' + getParam2('getterURL') +
- '¶m.proofcheckerURL=' + getParam2('proofcheckerURL') +
- '¶m.draw_graphURL=' + getParam2('draw_graphURL') +
- '¶m.uri_set_queueURL='+getParam2('uri_set_queueURL') +
- '¶m.UNICODEvsSYMBOL=' + getParam2('UNICODEvsSYMBOL') +
- '¶m.target=cic' +
- //'¶m.interfaceURL=' + location.protocol + "//" + location.host + chopSlash(chopSlash(chopSlash(location.pathname))) +
- '¶m.interfaceURL=' + topurl +
- '" name="cicresult"/>');
- document.write('</frameset>');
- document.write('</frameset>');
- document.write('</frameset>');
-]]>
-</script>
-
-</html>