X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fmatita%2Fmatitaweb.js;h=ccb2f37445fabf8e38332df2fc714e9d5fffbf6e;hb=1c57abfd96b2a0d027881a7c81d2ae9751f7be56;hp=fedaaf7fbde482deb54024c25aa65e5834a816bf;hpb=3b88d3315fe9a716d32cc51adb2e2d151cd447e8;p=helm.git

diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index fedaaf7fb..ccb2f3744 100644
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -233,7 +233,7 @@ function debug(txt)
 	// but google chrome's innerText is, in a sense, "write only"
 	// what should we do?
         // logarea.innerText = txt + "\n" + logarea.innerText;
-        logtxt = logtxt + "\n" + txt;
+        logtxt = /* logtxt + "\n" +*/ txt;
 }
 
 function showLog() {