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). --- man/coqtop.1 | 6 ------ 1 file changed, 6 deletions(-) (limited to 'man') diff --git a/man/coqtop.1 b/man/coqtop.1 index 62d17aa67..b1fbb3262 100644 --- a/man/coqtop.1 +++ b/man/coqtop.1 @@ -139,12 +139,6 @@ dump globalizations in file f (to be used by .B coqdoc(1) ) -.TP -.BI \-with\-geoproof \ (yes|no) -to (de)activate special functions for Geoproof within Coqide (default is -.I yes -) - .TP .B \-impredicative\-set set sort Set impredicative -- cgit v1.2.3