]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/getter.ml
Support for automatic stylesheet configuration retrieval started
[helm.git] / helm / interface / getter.ml
index 85e64117b6be0fe66366d4eaea95c811364e8617..50ec96380990cee1f16a7ed6e8c65f52754c3583 100644 (file)
@@ -145,6 +145,10 @@ let get_file uri =
    fn
 ;;
 
+let raw_get uri =
+ let msg = new Http_client.get uri in
+  msg#get_req_body
+
 (* get : uri -> filename *)
 (* If uri is the URI of an annotation, the annotated object is processed *)
 let get uri =