1 (* Copyright (C) 2004, HELM Team.
3 * This file is part of HELM, an Hypertextual, Electronic
4 * Library of Mathematics, developed at the Computer Science
5 * Department, University of Bologna, Italy.
7 * HELM is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License
9 * as published by the Free Software Foundation; either version 2
10 * of the License, or (at your option) any later version.
12 * HELM is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
17 * You should have received a copy of the GNU General Public License
18 * along with HELM; if not, write to the Free Software
19 * Foundation, Inc., 59 Temple Place - Suite 330, Boston,
22 * For details, see the HELM World-Wide-Web page,
23 * http://helm.cs.unibo.it/
27 let version = Option.value (Option.map Build_info.V1.Version.to_string (Build_info.V1.version())) ~default:"???"(* "%%PKG_MAINTAINER%%" *);;
28 let undo_history_size = 10;;
29 let console_history_size = 100;;
30 let browser_history_size = 100;;
31 let base_uri = "cic:/matita";;
32 let phrase_sep = ".";;
33 let blank_uri = "about:blank";;
34 let current_proof_uri = "about:current_proof";;
35 let default_font_size = 10;;
36 let script_font = "Monospace";;
38 (** may be overridden with MATITA_RT_BASE_DIR environment variable, useful for
39 * binary distribution installed in user home directories *)
40 let runtime_base_dir =
42 Sys.getenv "MATITA_RT_BASE_DIR"
44 match Mysites.Sites.myshare with
45 [rt] -> rt (*It was: "/home/claudio/ricerca/matita5/helm/matita/matita"*)
48 let images_dir = runtime_base_dir ^ "/icons"
49 let gtkrc_file = runtime_base_dir ^ "/matita.gtkrc"
50 let lang_file = runtime_base_dir ^ "/matita.lang"
51 let script_template = runtime_base_dir ^ "/matita.ma.templ"
52 let core_notation_script = runtime_base_dir ^ "/core_notation.moo"
53 let matita_conf = runtime_base_dir ^ "/matita.conf.xml"
54 let closed_xml = runtime_base_dir ^ "/closed.xml"
55 let gtkmathview_conf = runtime_base_dir ^ "/gtkmathview.matita.conf.xml"
56 let new_stdlib_dir_devel = runtime_base_dir ^ "/lib"
57 (* CSC: no installed standard library
58 let new_stdlib_dir_installed = runtime_base_dir ^ "/ma/new-standard-library" *)
59 let help_dir = runtime_base_dir ^ "/help"