]> matita.cs.unibo.it Git - helm.git/commitdiff
http:/ ==> http://
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Dec 2001 17:49:59 +0000 (17:49 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 5 Dec 2001 17:49:59 +0000 (17:49 +0000)
helm/metadata/create2/fix_rdf.pl
helm/metadata/create2/mk_forward/mk_forward.ml

index cd3051f3fa5373cb84f9757bb5091b30deba0c09..5d86c45c72d9936a7ff38597dea830d3807f03b5 100755 (executable)
@@ -12,7 +12,7 @@ open(HEADER,">>$outputfile");
 print HEADER <<EOT;
 <?xml version="1.0" encoding="ISO-8859-1"?>
 
-<rdf:RDF xml:lang="en" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:h="http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#">
+<rdf:RDF xml:lang="en" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:h="http://www.cs.unibo.it/helm/schemas/schema-h.rdf#">
   <h:Object rdf:about="$uri">
 EOT
 close(HEADER);
index 80ed9caf51b1f36d98a9a05f799da5b739b8f036..7880b07b671bd9763e48f5eaa0613b93b26f14d9 100644 (file)
@@ -134,7 +134,7 @@ let output_file cic_string_uri rdf_string_uri =
        X.xml_nempty "rdf:RDF"
         ["xml:lang","en" ;
          "xmlns:rdf","http://www.w3.org/1999/02/22-rdf-syntax-ns#";
-         "xmlns:h","http:/www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
+         "xmlns:h","http://www.cs.unibo.it/helm/schemas/schema-h.rdf#"]
 
         (try
           Stream.empty content ; (* raise Stream.failure if not empty *)