X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FbuildTimeConf.mli;h=78d0df0e8cbc5a6ef2f9fd65f25b73e1c9a735c4;hb=3f586b01da59fe16b3d7f37da28bdd71f2225131;hp=bd87f6872a471880e5eae1f51718334c52f6eff6;hpb=586fd6f56b845612e60a80f17f8070d13be52660;p=helm.git

diff --git a/matita/buildTimeConf.mli b/matita/buildTimeConf.mli
index bd87f6872..78d0df0e8 100644
--- a/matita/buildTimeConf.mli
+++ b/matita/buildTimeConf.mli
@@ -25,27 +25,29 @@
 
 (* $Id$ *)
 
-val base_uri                      : string
-val blank_uri                     : string
-val browser_history_size          : int
-val closed_xml                    : string
-val console_history_size          : int
-val core_notation_script          : string
-val current_proof_uri             : string
-val debug                         : bool
-val default_font_size             : int
-val gtkmathview_conf              : string
-val gtkrc_file                    : string
-val help_dir                      : string
-val images_dir                    : string
-val lang_file                     : string
-val matita_conf                   : string
-val matitamake_makefile_template  : string
-val phrase_sep                    : string
-val runtime_base_dir              : string
-val script_font                   : string
-val script_template               : string
-val stdlib_dir                    : string
-val undo_history_size             : int
-val version                       : string
+val base_uri                              : string
+val blank_uri                             : string
+val browser_history_size                  : int
+val closed_xml                            : string
+val console_history_size                  : int
+val core_notation_script                  : string
+val current_proof_uri                     : string
+val debug                                 : bool
+val default_font_size                     : int
+val gtkmathview_conf                      : string
+val gtkrc_file                            : string
+val help_dir                              : string
+val images_dir                            : string
+val lang_file                             : string
+val matita_conf                           : string
+val matitamake_makefile_template          : string
+val matitamake_makefile_template_devel    : string
+val phrase_sep                            : string
+val runtime_base_dir                      : string
+val script_font                           : string
+val script_template                       : string
+val stdlib_dir_devel                      : string
+val stdlib_dir_installed                  : string
+val undo_history_size                     : int
+val version                               : string