diff options
| author | Maxime Dénès | 2017-10-20 11:06:56 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-10-20 11:06:56 +0200 |
| commit | 90f29219c38bc3b1bf68f1139dfdde9dd2157500 (patch) | |
| tree | 1721c1a72d34c1727f4d684a0b815011968973d3 /man | |
| parent | 7e5a0e348e9686b7d75285f1ae71406a82a19170 (diff) | |
| parent | cea76410557f9954c8e15861217bcc4559de9e25 (diff) | |
Merge PR #1147: Remove GeoProof support.
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 62d17aa674..b1fbb3262e 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 |