X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Findex.html;h=21ffb0e5c00b486021cee339510970f7b825f4ea;hb=282511a928532676813d99d08594cd5f98fcb80e;hp=fa119b5bae1e632e7364f0c84aa99e33146dc065;hpb=735c93deb88ebc24614e7f2d899a2ed0dd480314;p=helm.git diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index fa119b5ba..21ffb0e5c 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -1,549 +1,77 @@ - - - - - + + + + + + -function findNode(list, node, acc) { - for (var i = 0; i < list.length; i++) { - if (list[i] == node) { - // debug("success " + i); - return acc; - } - if (list[i].hasChildNodes()) { - try { - // debug("recursion on node " + i); - return (findNode(list[i].childNodes,node,acc)) - } - catch (e) { /* debug("recursion failed"); */ } - } - sandbox = document.getElementById("sandbox"); - dup = list[i].cloneNode(true); - sandbox.appendChild(dup); -// debug("fail " + i + ": " + sandbox.innerHTML); - acc += sandbox.innerHTML.length; - sandbox.removeChild(dup); - } - throw "not found"; -} + + -function test () { - debug("cursor test: " + unlocked.innerHTML.substr(0,getCursorPos())); -} - - - - - - - - - - + + + - -
- -

- - -   -

- + + + +
+ +
+

Matita - <<Filename>>

+ +
+ + +
+
+ Advance + Retract + Top + Play + Bottom +
+
+ + + + + + + +
+ + + + +
+ + + + + + +
-
+ +

+ + +
+
-
 + +
+
+
-
+ 

   

-

+
+
+
+
+
+
+
+
+ 
+  
 
+  
+ 
+  
 
+
  
-  
+