diff options
Diffstat (limited to 'toplevel/usage.ml')
| -rw-r--r-- | toplevel/usage.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/toplevel/usage.ml b/toplevel/usage.ml index 19dbfef19e..f31b4b933b 100644 --- a/toplevel/usage.ml +++ b/toplevel/usage.ml @@ -67,8 +67,6 @@ let print_usage_channel co command = \n -xml export XML files either to the hierarchy rooted in\ \n the directory $COQ_XML_LIBRARY_ROOT (if set) or to\ \n stdout (if unset)\ -\n -quality improve the legibility of the proof terms produced by\ -\n some tactics\ \n -time display the time taken by each command\ \n -h, --help print this list of options\ \n --help-XML-protocol print the documentation of the XML protocol used by CoqIDE\ |