diff options
Diffstat (limited to 'man')
| -rw-r--r-- | man/coqtop.1 | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/man/coqtop.1 b/man/coqtop.1 index 8006d4993..33982b117 100644 --- a/man/coqtop.1 +++ b/man/coqtop.1 @@ -168,11 +168,6 @@ export XML files either to the hierarchy rooted in the directory $COQ_XML_LIBRARY_ROOT (if set) or to stdout (if unset) -.TP -.B \-quality -improve the legibility of the proof terms produced by -some tactics - .SH SEE ALSO .BR coqc (1), |