]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/html/control.html
Comment removed because XSLT removed the "end-of-line" after it, making it
[helm.git] / helm / on-line / html / control.html
1 <html>
2
3 <head>
4 <title>On-Line Library Configuration</title>
5
6 <style type="text/css">
7 #normal { background-color: white; font-family: sans-serif }
8 td.head { font-weight: bold; background-color: #e6e6fa; color: brown }
9 td.back { background-color: #e6e6fa; color: brown }
10 #indent { margin-left: 1cm; margin-right: 1cm }
11 #centered { text-align: center }
12 </style>
13
14 <script language="JavaScript" src="../javascript/defaults.js"></script>
15 <script language="JavaScript" src="../javascript/prelude.js"></script>
16
17 </head>
18
19 <body id="normal" onLoad="refreshLinks()">
20 <a name="top"/>
21 <table border="0" width="100%" cellpadding="4">
22 <tr><td class="head" align="center"><big><big>On-Line Library Configuration</big></big></td></tr>
23 </table>
24
25 <br />
26
27 <div id="indent">
28 The on-line interface will use a
29 <a href="http://www.cs.unibo.it/helm/getter" target="_top">Getter</a> to locate and
30 download documents and an
31 <a href="http://www.cs.unibo.it/helm/uwobo" target="_top">UWOBO</a> to apply transformations
32 to them.
33
34
35 <br /><br />
36
37 Here you can choose the Getter and the UWOBO to use, providing valid URLs
38 to instances of them.
39
40 <br /><br />
41
42 To control the behaviour of them, use the apposite
43 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/getter/panel/index.html" target="_top">Getter panel</a>
44 and
45 <a onClick="refreshLinks();" href="http://www.cs.unibo.it/helm/uwobo/panel/index.html" target="_top">UWOBO panel</a>.
46
47 <br /><br />
48
49 <table border="0">
50   <tr>
51     <th colspan="2" align="left">UWOBO URL</th>
52   </tr>
53   <tr>
54     <td>
55       <form name="uwoboURL">
56       <script>
57         document.write('<input type="text" value="' + getInitialProcessorURL() + '" size="50"/>');
58       </script>
59       </form>
60     </td>
61     <td>
62       <form>
63         <select onChange="selectUwoboURL(this)">
64           <option value="">---</option>
65           <option value="localhost">localhost</option>
66           <option value="marcello.cs.unibo.it">marcello</option>
67           <option value="phd.cs.unibo.it">phd</option>
68           <option value="eolo.cs.unibo.it">eolo</option>
69         </select>
70       </form>
71     </td>
72     <td>
73       <form>
74         <input type="button" value="Check" onClick="top.result.location = getUwoboURL() + 'help'"/>
75       </form>
76     </td>
77   </tr>
78 </table>
79
80 <br />
81
82 <table border="0">
83   <tr>
84     <th colspan="2" align="left">Getter URL</th>
85   </tr>
86   <tr>
87     <td>
88       <form name="getterURL">
89         <script>
90           document.write('<input type="text" value="' + getInitialGetterURL() + '" size="50"/>');
91         </script>
92       </form>
93     </td>
94     <td>
95       <form>
96         <select onChange="selectGetterURL(this)">
97           <option value="">---</option>
98           <option value="localhost">localhost</option>
99           <option value="marcello.cs.unibo.it">marcello</option>
100           <option value="phd.cs.unibo.it">phd</option>
101           <option value="eolo.cs.unibo.it">eolo</option>
102         </select>
103       </form>
104     </td>
105     <td>
106       <form>
107         <input type="button" value="Check" onClick="top.result.location = getGetterURL() + 'help'"/>
108       </form>
109     </td>
110   </tr>
111 </table>
112
113 <br />
114
115 <table border="0">
116   <tr>
117     <th colspan="2" align="left">Browser</th>
118   </tr>
119   <tr>
120    <td>
121     Only new browsers support UNICODE, that is needed to render
122     mathematical documents. Some old browsers, though, can render
123     the most common symbols through the &quot;symbol&quot; font.
124    </td>
125   </tr>
126   <tr>
127    <td>
128     To make us understand what kind of browser you have, please
129     select below the symbol for &quot;not belongs to&quot;. If both options
130     do not show that symbol, then you will be only able to use
131     the MathML mode with an external plug-out for MathML presentation.
132    </td>
133   </tr>
134   <tr>
135     <td>
136       <form name="UNICODEvsSYMBOL">
137       <b>Where do you see the &quot;not belongs to&quot; symbol?</b>
138       &nbsp;&nbsp;&nbsp;
139       <script>
140        document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="symbol" ' + getInitialUNICODEvsSYMBOLsymbol() + ' />');
141       </script>
142       <font face="symbol">&#207;</font>
143       &nbsp;&nbsp;&nbsp;
144       <script>
145        document.write('<input type="radio" name="radioUNICODEvsSYMBOL" value="unicode" ' + getInitialUNICODEvsSYMBOLunicode() + ' />');
146       </script>
147       &#8713;
148     </td>
149   </tr>
150 </table>
151 </div>
152
153
154 <div id="centered">
155 <h1><a onClick="refreshLinks();" href="" target="_top"><script>if (top.location.search == '') document.write('ENTER THE LIBRARY'); else document.write('RETURN TO THE LIBRARY');</script></a></h1>
156 </div>
157 </body>
158 </html>
159