X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2FbuildTimeConf.mli;h=78d0df0e8cbc5a6ef2f9fd65f25b73e1c9a735c4;hb=7687de06ca4add15735160a56e508c65f7c31fbc;hp=5477c6c20afcd1af3acbadabf6746299d3c88b5c;hpb=5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182;p=helm.git

diff --git a/matita/buildTimeConf.mli b/matita/buildTimeConf.mli
index 5477c6c20..78d0df0e8 100644
--- a/matita/buildTimeConf.mli
+++ b/matita/buildTimeConf.mli
@@ -25,28 +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_devel              : string
-val stdlib_dir_installed          : 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