From cea76410557f9954c8e15861217bcc4559de9e25 Mon Sep 17 00:00:00 2001 From: Maxime Dénès Date: Wed, 11 Oct 2017 16:07:04 +0200 Subject: Remove GeoProof support. Julien Narboux confirmed that it was dead code (GeoProof is not to be confused with GeoCoq). --- config/coq_config.mli | 1 - 1 file changed, 1 deletion(-) (limited to 'config') 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 -- cgit v1.2.3