*)
let debug = @DEBUG@;;
-let version = "@MATITA_VERSION";;
+let version = "@MATITA_VERSION@";;
let undo_history_size = 10;;
let console_history_size = 100;;
let browser_history_size = 100;;
let closed_xml = runtime_base_dir ^ "/closed.xml"
let gtkmathview_conf = runtime_base_dir ^ "/gtkmathview.matita.conf.xml"
let matitamake_makefile_template = runtime_base_dir ^ "/template_makefile.in"
+let stdlib_dir = runtime_base_dir ^ "/library"