X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fcontrol.js;fp=helm%2Fon-line%2Fjavascript%2Fcontrol.js;h=0e6e566a05d46f4049a9ebeeef6265c713f813ce;hb=aacc5f566b60763bede71263cb9441b5b2fb04a1;hp=bc52d02b617d6a2948d56b65dcaf4d103528d862;hpb=9b12c7574b3d0e0b8bf3a3a67efa03e36abf3f0d;p=helm.git

diff --git a/helm/on-line/javascript/control.js b/helm/on-line/javascript/control.js
index bc52d02b6..0e6e566a0 100644
--- a/helm/on-line/javascript/control.js
+++ b/helm/on-line/javascript/control.js
@@ -258,3 +258,4 @@ function makeURL(type,uri,cicflags,typesflags,profile,processorURL,interfaceURL,
   else if (type == "theory")
    return processorURL + "apply?keys=RT&xmluri=" + escape(thinterfaceURLidx) + "&param.ignore=" + keys + "&param.CICURI=" + uri;
 }
+