]> matita.cs.unibo.it Git - helm.git/blob - matitaB/matita/index.html
support for printing the number of objects grouped by flavour
[helm.git] / matitaB / matita / index.html
1 <html>
2
3 <head>
4 <script type="text/javascript" src="jquery.js"></script>
5 <script type="text/javascript" src="jquery.tooltip.min.js"></script>
6 <script type="text/javascript" src="utf8MacroTable.js"></script>
7 <script type="text/javascript" src="matitaweb.js"></script>
8 <script type="text/javascript" src="layout.js"></script>
9 <link rel="stylesheet" type="text/css" href="matitaweb.css"/>
10 <link rel="stylesheet" type="text/css" href="jquery.tooltip.css"/>
11
12 <link href="treeview/xmlTree.css" type="text/css" rel="stylesheet"/>
13 <script src="treeview/xmlTree.js" type="text/javascript"></script>
14
15 </head>
16
17 <body onLoad="initialize();">
18 <textarea id="unescape" style="display:none;"></textarea>
19 <div id="sandbox" style="display:none;"></div>
20
21 <div class="matitaapparea" id="matitaapparea">
22
23 <div class="titlebar" id="titlebar">
24   <div class="mainTitle"><H2 id="matitaTitle">Matita - &lt;&lt;Filename&gt;&gt;</H2></div>
25   <div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
26 </div>
27
28
29 <div class="toparea" id="toparea">
30 <div class="navibar">
31            <A href="javascript:advanceForm1()"><IMG class="topimg" src="icons/advance.png" 
32                                                     id="advance" alt="Advance" 
33                                                     title="Execute one step of the script."></A>
34            <A href="javascript:retract()"><IMG class="topimg" src="icons/retract.png" 
35                                                id="retract" alt="Retract"
36                                                title="Undo execution of one step of the script."></A>
37            <A href="javascript:gotoTop()"><IMG class="topimg" src="icons/top.png" 
38                                                   id="top" alt="Top" title="Undo execution of the whole script."></A>
39            <A href="javascript:gotoPos()"><IMG class="topimg" src="icons/position.png" 
40                                                id="cursor" alt="Play"
41                                                title="Execute the script until the current position of the cursor."></A>
42            <A href="javascript:gotoBottom()"><IMG class="topimg" src="icons/bottom.png" 
43                                                   id="bottom" alt="Bottom" title="Execute the whole script."></A>
44 </div>
45 <div class="toolbar">
46   <table>
47   <tr>
48     <td>
49            <INPUT type="BUTTON" value="New" id="newbutton" ONCLICK="newDialog()">
50            <INPUT type="BUTTON" value="Open" id="showdialog" ONCLICK="openDialog()">
51            <INPUT type="BUTTON" value="Save" id="savebutton" ONCLICK="saveFile()">
52            <INPUT type="BUTTON" value="Save as" id="saveasbutton" ONCLICK="saveDialog()">
53     </td>
54   </tr>
55   <tr>
56     <td>
57            <INPUT type="BUTTON" value="Upload" id="uploadbutton" ONCLICK="uploadDialog()">
58            <INPUT type="BUTTON" value="Commit" id="commitbutton" ONCLICK="commitAll()">
59            <INPUT type="BUTTON" value="Update" id="updatebutton" ONCLICK="updateAll()">
60            <INPUT type="BUTTON" value="Log" id="logbutton" ONCLICK="showLog()">
61            <INPUT type="BUTTON" value="Del hrefs" id="delintbutton" ONCLICK="strip_interpr()">
62 <!--       <INPUT type="BUTTON" value="show sequent" id="showseq" ONCLICK="showSequent()">
63            <INPUT type="BUTTON" value="hide sequent" id="hideseq" ONCLICK="hideSequent()">
64            <INPUT type="BUTTON" value="selection test" id="hideseq" ONCLICK="test()"> -->
65     </td>
66   </tr>
67   </table> 
68
69 </div>
70 <div class="caption"><p><img align="bottom" class="topimg" src="icons/matita-text.png"></p></div>
71 </div>
72
73 <div class="workarea" id="workarea">
74 <div class="scriptarea" id="scriptcell">
75   <!-- the script --> 
76   <!-- 
77   The two DIVs "locked" and "unlocked" MUST be on the same line (since they are 
78   inside a PRE tag, a CR will be reflected in the document presentation)
79   -->
80   <div style="width:100%; height:100%; overflow:auto;">
81   <pre><div contentEditable="false" id="locked" style="background-color:#bfbfff; display:inline;"></div><div contentEditable="true" id="unlocked" style="display:inline">(* script *)</div></pre></div>
82   <!-- the script (end) --> 
83 </div>
84 <div class="sidearea" id="sidearea">
85  <div class="framed" id="disambcell"></div>
86  <div class="framed" id="goalcell">
87   <div id="goals"></div>
88   <div class="context">
89   <pre id="goalview"></pre>
90   </div>
91  </div>
92 </div>
93 </div>
94
95 <!-- <div class="bottomarea">
96         <textarea id="logarea" style="width:100%; height:100%"></textarea>
97 </div> -->
98
99 </div>
100
101 <div class="dialog" id="dialogBox" style="display: none;">
102   <div class="diaTitle" id="dialogTitle"></div>
103   <div class="diaClose" id="dialogClose"><H2><A class="butClose" href="javascript:abortDialog('dialogBox')">X</A></H2></div>
104   <INPUT type="button" id="dialogNewdir" value="Create dir..." ONCLICK="createDir()" style="width:150px"><br/>
105   <div class="scroll" id="dialogContent"></div>
106   <INPUT class="diaFile" type="text" id="dialogFilename">
107   <INPUT type="button" id="dialogSelect" value="OK" ONCLICK="dialogOK()" style="width:70px">
108 </div>
109
110 <div class="upload" id="uploadBox" style="display: none;">
111   <div class="dialogTitle" id="uploadTitle"></div>
112   <div class="diaClose" id="uploadClose"><H2><A class="butClose" href="javascript:abortDialog('uploadBox')">X</A></H2></div>
113   <INPUT class="diaFile" type="file" id="uploadFilename">
114   <INPUT type="button" id="uploadSelect" value="OK" ONCLICK="uploadOK()" style="width:70px">
115 </div>
116
117 <!-- Mask to cover the whole screen --> 
118   <div id="mask"></div> 
119   
120 <!-- Mask to cover the toolbar --> 
121   <div id="whitemask"></div> 
122
123  </body>
124 </html>