From aa8b567e6ac0bfbedb7498d9c4403a6e3e31b93b Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 5 Feb 2002 15:03:34 +0000
Subject: [PATCH] Due to a syntax error, theories in MathML Presentation were
 broken.

---
 helm/on-line/javascript/control.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index e6ad6269e..6734d4a13 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -250,7 +250,7 @@ function makeURL(type,uri,cicflags,typesflags)
       keys = getTheoryKeys()+
        "&param.keys=" + getCICMathMLKeys() +
        "&param.thkeys=" + getTheoryKeys() +
-       "&param.embedkeys=" + escape(d_c,TC1,G,C2,L) +
+       "&param.embedkeys=" + escape("d_c,TC1,G,C2,L") +
        "&param.processorURL=" + escape(processorURL) +
        "&param.getterURL=" + escape(getterURL) +
        "&param.draw_graphURL=" + escape(draw_graphURL) +
-- 
2.39.2