X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fmatita%2Findex.html;h=21ffb0e5c00b486021cee339510970f7b825f4ea;hb=0d481cc22ba8ada5781885da5398086a0b5662f3;hp=98692b5ad5559111fa51565d074ea169365d577b;hpb=f7c92759fdc11f3b0c0b1d9dd07bdebc40fc769b;p=helm.git diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html index 98692b5ad..21ffb0e5c 100644 --- a/matitaB/matita/index.html +++ b/matitaB/matita/index.html @@ -1,436 +1,124 @@ -
- - - - + + + + + + -function hideSequent() { - goalcell = document.getElementById("goalcell"); - goalcell.parentNode.removeChild(goalcell); - document.getElementById("scriptcell").setAttribute("colspan","2"); -} + + -function showSequent() { - document.getElementById("scriptcell").setAttribute("colspan","1"); - document.getElementById("workarea").appendChild(goalcell); -} + -function removeElement(id) { - var element = document.getElementById(id); - element.parentNode.removeChild(element); -} + + + + +
-
- - - - - - |
-- |
+
+
-
+ -
|
-
+
+
+
+
-
- lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo lungo+
+
- |
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
-
- - | -