X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2Findex.html;h=21ffb0e5c00b486021cee339510970f7b825f4ea;hb=0d481cc22ba8ada5781885da5398086a0b5662f3;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())); -} - - -
-
- - - - - - + + + +
+
+
+
+
+
+
+ |
-![]() |
-
+
+
+
- |
-
+
+
+
+
-
+ |
+
+
+
-
+ + + + + | + + + + + + + + + - +