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 /man | |
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 'man')
-rw-r--r-- | man/coqtop.1 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/man/coqtop.1 b/man/coqtop.1 index 62d17aa67..b1fbb3262 100644 --- a/man/coqtop.1 +++ b/man/coqtop.1 @@ -140,12 +140,6 @@ dump globalizations in file f (to be used by ) .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 |