Module Coq_configSource

Sourceval install_prefix : string
Sourceval coqlib : string
Sourceval configdir : string
Sourceval datadir : string
Sourceval docdir : string
Sourceval coqlibsuffix : string
Sourceval configdirsuffix : string
Sourceval datadirsuffix : string
Sourceval docdirsuffix : string
Sourceval ocamlfind : string
Sourceval caml_flags : string
Sourceval arch : string
Sourceval arch_is_win32 : bool
Sourceval version : string
Sourceval caml_version : string
Sourceval caml_version_nums : int list
Sourceval vo_version : int32
Sourceval all_src_dirs : string list
Sourceval exec_extension : string
Sourceval browser : string

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

Sourceval wwwcoq : string
Sourceval wwwstdlib : string
Sourceval wwwrefman : string
Sourceval wwwbugtracker : string
Sourceval bytecode_compiler : bool
Sourcetype native_compiler =
  1. | NativeOff
  2. | NativeOn of {
    1. ondemand : bool;
    }
Sourceval native_compiler : native_compiler