diff options
| author | Maxime Dénès | 2017-10-20 11:06:56 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-20 11:06:56 +0200 |
| commit | 90f29219c38bc3b1bf68f1139dfdde9dd2157500 (patch) | |
| tree | 1721c1a72d34c1727f4d684a0b815011968973d3 /config | |
| parent | 7e5a0e348e9686b7d75285f1ae71406a82a19170 (diff) | |
| parent | cea76410557f9954c8e15861217bcc4559de9e25 (diff) | |
Merge PR #1147: Remove GeoProof support.
Diffstat (limited to 'config')
| -rw-r--r-- | config/coq_config.mli | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/coq_config.mli b/config/coq_config.mli index 8bc044c3ae..6a834a3049 100644 --- a/config/coq_config.mli +++ b/config/coq_config.mli @@ -61,7 +61,6 @@ val plugins_dirs : string list val all_src_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 overridden by environment |