]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/cgi/mkcontrol.pl
library3 ==> javascript
[helm.git] / helm / cgi / mkcontrol.pl
index 6e593d7d8d840b2a06906a29eaa06f26b2b15e16..96c5c952274d3f9862a15bc9a300d14a807c78bc 100755 (executable)
@@ -38,7 +38,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">