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="jquery-ui-custom.js"></script>
7 <script type="text/javascript" src="jquery.layout-latest.js"></script>
8 <script type="text/javascript" src="utf8MacroTable.js"></script>
9 <script type="text/javascript" src="matitaweb.js"></script>
10 <script type="text/javascript" src="layout.js"></script>
11 <script type="text/javascript">
12 $(document).ready(initialize);
14 <link rel="stylesheet" type="text/css" href="matitaweb.css"/>
15 <link rel="stylesheet" type="text/css" href="jquery.tooltip.css"/>
17 <link href="treeview/xmlTree.css" type="text/css" rel="stylesheet"/>
18 <script src="treeview/xmlTree.js" type="text/javascript"></script>
22 <!-- <body onLoad="initialize();"> -->
24 <textarea id="unescape" style="display:none;"></textarea>
25 <div id="sandbox" style="display:none;"></div>
29 <div class="toparea ui-layout-north" id="toparea">
30 <div class="titlebar" id="titlebar">
31 <div class="mainTitle"><img src="icons/matita-32.png"><H2 id="matitaTitle"><<Filename>></H2></div>
32 <div class="mainRight" id="matitaLogout"><A id="hlogout" href="/logout.html">Log out</A></div>
36 <div class="navibar navibarclass">
37 <A href="#" onClick="advanceForm1()"><IMG class="topimg" src="icons/advance.png"
38 id="advance" alt="Advance"
39 title="Execute one step of the script."></A>
40 <A href="#" id="pippo" onClick="retractStep()"><IMG class="topimg" src="icons/retract.png"
41 id="retract" alt="Retract"
42 title="Undo execution of one step of the script."></A>
43 <A href="#" onClick="gotoTop()"><IMG class="topimg" src="icons/top.png"
44 id="top" alt="Top" title="Undo execution of the whole script."></A>
45 <A href="#" onClick="gotoPos()"><IMG class="topimg" src="icons/position.png"
46 id="cursor" alt="Play"
47 title="Execute the script until the current position of the cursor."></A>
48 <A href="#" onClick="gotoBottom()"><IMG class="topimg" src="icons/bottom.png"
49 id="bottom" alt="Bottom" title="Execute the whole script."></A>
51 <div class="toolbar toolbarclass">
55 <INPUT type="BUTTON" value="New" id="newbutton" ONCLICK="newDialog()">
56 <INPUT type="BUTTON" value="Open" id="showdialog" ONCLICK="openDialog()">
57 <INPUT type="BUTTON" value="Save" id="savebutton" ONCLICK="saveFile()">
58 <INPUT type="BUTTON" value="Save as" id="saveasbutton" ONCLICK="saveDialog()">
63 <INPUT type="BUTTON" value="Upload" id="uploadbutton" ONCLICK="uploadDialog()">
64 <INPUT type="BUTTON" value="Commit" id="commitbutton" ONCLICK="commitAll()">
65 <INPUT type="BUTTON" value="Update" id="updatebutton" ONCLICK="updateAll()">
66 <INPUT type="BUTTON" value="Log" id="logbutton" ONCLICK="showLog()">
67 <INPUT type="BUTTON" value="Del hrefs" id="delintbutton" ONCLICK="strip_interpr()">
73 <A href="#" onClick="newDialog()"><IMG class="toolbarimg" src="icons/add.png"
75 title="New script..."></A>
76 <span style="width:1px; display:inline-block;"></span>
77 <A href="#" onClick="openDialog()"><IMG class="toolbarimg" src="icons/folder.png"
79 title="Open script..."></A>
80 <span style="width:1px; display:inline-block;"></span>
81 <A href="#" onClick="saveFile()"><IMG class="toolbarimg" src="icons/save.png"
83 title="Save script"></A>
84 <span style="width:1px; display:inline-block;"></span>
85 <A href="#" onClick="saveDialog()"><IMG class="toolbarimg" src="icons/saveas.png"
87 title="Save script as..."></A>
88 <span style="width:1px; display:inline-block;"></span>
89 <A href="#" onClick="uploadDialog()"><IMG class="toolbarimg" src="icons/upload.png"
91 title="Import local script..."></A>
92 <span style="width:16px; display:inline-block;"></span>
93 <A href="#" onClick="commitAll()"><IMG class="toolbarimg" src="icons/check.png"
95 title="Initiate global library commit"></A>
96 <span style="width:1px; display:inline-block;"></span>
97 <A href="#" onClick="updateAll()"><IMG class="toolbarimg" src="icons/refresh.png"
99 title="Update library from repository"></A>
100 <span style="width:16px; display:inline-block;"></span>
101 <A href="#" onClick="showLog()"><IMG class="toolbarimg" src="icons/questionmark.png"
103 title="Show log"></A>
104 <span style="width:1px; display:inline-block;"></span>
105 <A href="#" onClick="strip_interpr()"><IMG class="toolbarimg" src="icons/delete.png"
106 alt="Delete hyperlinks"
107 title="Delete hyperlnks"></A>
110 <div class="caption toolbarclass"><p><img align="bottom" class="topimg" src="icons/matita-text.png"></p></div>
113 <div class="scriptarea ui-layout-center nomargin" id="scriptcell">
116 The two DIVs "locked" and "unlocked" MUST be on the same line (since they are
117 inside a PRE tag, a CR will be reflected in the document presentation)
119 <div style="width:100%; height:100%; overflow:auto;">
120 <pre class="smallmargin"><div contentEditable="false" id="locked" style="background-color:#bfbfff; display:inline;"></div><div contentEditable="true" id="unlocked" style="display:inline">(* script *)</div></pre></div>
121 <!-- the script (end) -->
124 <div class="sidearea ui-layout-east" id="sidearea">
125 <div class="framed" id="disambcell"></div>
126 <div class="framed" id="goalcell">
127 <div id="goals"></div>
128 <div class="context">
129 <pre id="goalview"></pre>
135 <div class="bottomarea ui-layout-south">
136 <div class="bottomicon"><img src="icons/error.png"></div>
137 <div class="bottomtext" id="bottomtext"><p></p></div>
138 <div class="bottomclose"><input type="button" id="bottomclose" onClick="abortLog()" value="Close"></div>
143 <div class="dialog" id="dialogBox" style="display: none;">
144 <div class="diaTitle" id="dialogTitle"></div>
145 <div class="diaClose" id="dialogClose"><H2><A class="butClose" href="javascript:abortDialog('dialogBox')">X</A></H2></div>
146 <INPUT type="button" id="dialogNewdir" value="Create dir..." ONCLICK="createDir()" style="width:150px"><br/>
147 <div class="scroll" id="dialogContent"></div>
148 <INPUT class="diaFile" type="text" id="dialogFilename">
149 <INPUT type="button" id="dialogSelect" value="OK" ONCLICK="dialogOK()" style="width:70px">
152 <div class="upload" id="uploadBox" style="display: none;">
153 <div class="dialogTitle" id="uploadTitle"></div>
154 <div class="diaClose" id="uploadClose"><H2><A class="butClose" href="javascript:abortDialog('uploadBox')">X</A></H2></div>
155 <INPUT class="diaFile" type="file" id="uploadFilename">
156 <INPUT type="button" id="uploadSelect" value="OK" ONCLICK="uploadOK()" style="width:70px">
159 <!-- Mask to cover the whole screen -->
160 <div id="mask"></div>
162 <!-- Mask to cover the toolbar -->
163 <div id="whitemask"></div>