diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-10-11 16:07:04 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-10-11 16:07:04 +0200 |
| commit | cea76410557f9954c8e15861217bcc4559de9e25 (patch) | |
| tree | 853557ca2abcce31cc5dbcc77da58df7675f6e48 /config | |
| parent | 354ee7d67efda8624cb46e942f2a41211cadd030 (diff) | |
Remove GeoProof support.
Julien Narboux confirmed that it was dead code (GeoProof is not to be
confused with GeoCoq).
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 8bc044c3a..6a834a304 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 |