X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgetter%2Fhttp_getter_env.ml;h=8ac57184aa3e16f4bb69e056648238368f788843;hb=920c783cf31c2e7d227f0a38f158469680937d61;hp=af5896ea83707901343e4fadfe6ccda1e60df189;hpb=5e45ecb0350d044b741db6d07397bd9840afd1be;p=helm.git

diff --git a/matita/components/getter/http_getter_env.ml b/matita/components/getter/http_getter_env.ml
index af5896ea8..8ac57184a 100644
--- a/matita/components/getter/http_getter_env.ml
+++ b/matita/components/getter/http_getter_env.ml
@@ -97,17 +97,17 @@ let env_to_string () =
     | l -> "\n" ^ String.concat "\n" (List.map pp_prefix l)
   in
   sprintf
-"HTTP Getter %s
+{xxx|HTTP Getter %s
 
 prefixes:%s
-dtd_dir:\t%s
-host:\t\t%s
-port:\t\t%d
-my_own_url:\t%s
-dtd_base_urls:\t%s
-log_file:\t%s
-log_level:\t%d
-"
+dtd_dir:        %s
+host:           %s
+port:           %d
+my_own_url:     %s
+dtd_base_urls:  %s
+log_file:       %s
+log_level:      %d
+|xxx}
     version
     (pp_prefixes (Lazy.force prefixes))
     (match Lazy.force dtd_dir with Some dir -> dir | None -> "NONE")