Module Coq_config

val local : bool
val coqlib : string
val configdir : string
val datadir : string
val docdir : string
val coqlibsuffix : string
val configdirsuffix : string
val datadirsuffix : string
val docdirsuffix : string
val ocamlfind : string
val caml_flags : string
val arch : string
val arch_is_win32 : bool
val version : string
val caml_version : string
val caml_version_nums : int list
val date : string
val compile_date : string
val vo_version : int32
val state_magic_number : int
val all_src_dirs : string list
val exec_extension : string
val browser : string

default web browser to use, may be overridden by environment variable COQREMOTEBROWSER

val gtk_platform : [ `QUARTZ | `WIN32 | `X11 ]
val wwwcoq : string
val wwwrefman : string
val wwwbugtracker : string
val wwwstdlib : string
val localwwwrefman : string
val bytecode_compiler : bool
type native_compiler =
| NativeOff
| NativeOn of {
ondemand : bool;
}
val native_compiler : native_compiler