Huge commit for the release. Includes:

[helm.git] / matita / buildTimeConf.mli

diff --git a/matita/buildTimeConf.mli b/matita/buildTimeConf.mli
index bd87f6872a471880e5eae1f51718334c52f6eff6..5477c6c20afcd1af3acbadabf6746299d3c88b5c 100644 (file)
--- a/matita/buildTimeConf.mli
+++ b/matita/buildTimeConf.mli
@@ -45,7 +45,8 @@ val phrase_sep                    : string
 val runtime_base_dir              : string
 val script_font                   : string
 val script_template               : string
-val stdlib_dir                    : string
+val stdlib_dir_devel              : string
+val stdlib_dir_installed          : string
 val undo_history_size             : int
 val version                       : string