diff options
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 |