diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-08 13:18:48 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-08 13:18:48 +0200 |
| commit | bd4bb27ee4f66b08434d9a199f00b04ccec34722 (patch) | |
| tree | ee389e744201c32fc4e74eadc34e0227c4008b5d /config/coq_config.mli | |
| parent | db4ea6ddcbeb0dea41267dc87a30b76a01e402af (diff) | |
| parent | 870075f34dd9fa5792bfbf413afd3b96f17e76a0 (diff) | |
Merge commit 'upstream/8.2.beta4+dfsg'
Diffstat (limited to 'config/coq_config.mli')
| -rw-r--r-- | config/coq_config.mli | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/config/coq_config.mli b/config/coq_config.mli index 23d3efbd..3898a0f3 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(*i $Id: coq_config.mli 10122 2007-09-15 10:35:59Z letouzey $ i*) +(*i $Id: coq_config.mli 11313 2008-08-07 11:15:03Z barras $ i*) val local : bool (* local use (no installation) *) @@ -28,12 +28,17 @@ val osdeplibs : string (* OS dependant link options for ocamlc *) (* val defined : string list (* options for lib/ocamlpp *) *) val version : string (* version number of Coq *) -val versionsi : string (* version number of Coq\_SearchIsos *) val date : string (* release date *) val compile_date : string (* compile date *) +val vo_magic_number : int +val state_magic_number : int val theories_dirs : string list val contrib_dirs : string list val exec_extension : string (* "" under Unix, ".exe" under MS-windows *) val with_geoproof : bool ref (* to (de)activate functions specific to Geoproof with Coqide *) + +val browser : string +(** default web browser to use, may be overriden by environment + variable COQREMOTEBROWSER *) |