X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=54d51002ff60b7cfccdb7f27e5eff0fb96270dd9;hb=23ff539f5abbe9082ae4f3df3c6178bee94accd8;hp=f6abf7f875984de5bdf6f08e8592415860e2b629;hpb=97829180b4bc5a72291eeb8156b15b3922f07048;p=helm.git

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index f6abf7f87..54d51002f 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -11,7 +11,7 @@ function getDefaultParam(name)
   case "theoryuri":
     return "theory:/";
   case "mode":
-    return "processed,cic,html,yes,no";
+    return "processed,cic,html,yes,no,normal,no";
   }
   
   return "???";