]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/cgi/mkheader.pl
ocaml 3.09 transition
[helm.git] / helm / cgi / mkheader.pl
index a8e99754f5b1ff52af90f1b381746c96723210bc..b3db1cfa33d9708d22a93d91ddada5bb9f5006a8 100755 (executable)
@@ -27,7 +27,7 @@ Content-type: text/html
 <html>
 <head>
 <title>Control panel</title>
-<script language="JavaScript" src="http://phd.cs.unibo.it/helm/library3/control.js">
+<script language="JavaScript" src="http://phd.cs.unibo.it/helm/javascript/control.js">
 </script>
 </head>
 <body bgcolor="#ffffff" text="#000000">