]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/javascript/defaults.js
Commented code removed
[helm.git] / helm / on-line / javascript / defaults.js
index f6abf7f875984de5bdf6f08e8592415860e2b629..271f6eabcb8e228401685a4a73746e9a82ba9ffe 100644 (file)
@@ -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 "???";