-<script language="JavaScript" src="../../javascript/defaults.js"></script>
-<script language="JavaScript" src="../../javascript/utils.js"></script>
-<script language="JavaScript" src="../../javascript/control.js"></script>
-
+<script>
+ var annotations="<subst:annotations/>";
+ var CICURI="<subst:CICURI/>";
+ var cleanCICURI="<subst:cleanCICURI/>";
+ var CICURL = "<subst:CICURL/>";
+ var DCRDFURL = "<subst:DCRDFURL/>";
+ var DirectRDFURL = "<subst:DirectRDFURL/>";
+ var getterURL = "<subst:getterURL/>";
+ var HTMLURL = "<subst:HTMLURL/>";
+ var ProofTreeURL = "<subst:makeProofTreeURL/>";
+ var InverseRDFURL = "<subst:InverseRDFURL/>";
+ var MathMLContentURL = "<subst:MathMLContentURL/>";
+ var MathMLPresentationURL = "<subst:MathMLPresentationURL/>";
+ var interfaceURL = "<subst:interfaceURL/>";
+ var mkDirDepURL = "<subst:makeDirectDependencyURL/>";
+ var mkInvDepURL = "<subst:makeInverseDirectDependencyURL/>";
+ var mkInvRecDepURL = "<subst:makeInverseRecDependencyURL/>";
+ var mkRecDepURL = "<subst:makeRecDependencyURL/>";
+ var processorURL = "<subst:processorURL/>";
+ var profile = "<subst:profile/>";
+ var proofcheckerURL = "<subst:proofcheckerURL/>";
+ var url = "<subst:url/>";
+</script>