X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=271f6eabcb8e228401685a4a73746e9a82ba9ffe;hb=a43a64a7df7a4da719793f6d39f068a4b187e86b;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..271f6eabc 100644
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -11,7 +11,9 @@ function getDefaultParam(name)
   case "theoryuri":
     return "theory:/";
   case "mode":
-    return "processed,cic,html,yes,no";
+    return "processed,cic,html,yes,no,normal,no";
+  case "UNICODEvsSYMBOL":
+    return "symbol";
   }
   
   return "???";