diff options
Diffstat (limited to 'man')
-rw-r--r-- | man/coqide.1 | 8 | ||||
-rw-r--r-- | man/coqtop.1 | 10 |
2 files changed, 0 insertions, 18 deletions
diff --git a/man/coqide.1 b/man/coqide.1 index 013c2ed7f..785a4a4c6 100644 --- a/man/coqide.1 +++ b/man/coqide.1 @@ -40,17 +40,9 @@ to logical .B \-src Add source directories in the include path. .TP -.BI \-is\ f ,\ \-inputstate\ f -Read state from -.IR f .coq. -.TP .B \-nois Start with an empty state. .TP -.BI \-outputstate\ f -Write state in file -.IR f .coq. -.TP .BI \-load\-ml\-object\ f Load ML object file .IR f . diff --git a/man/coqtop.1 b/man/coqtop.1 index 33982b117..068a5072b 100644 --- a/man/coqtop.1 +++ b/man/coqtop.1 @@ -47,20 +47,10 @@ set the toplevel name to be instead of Top .TP -.BI \-inputstate \ filename, \ \-is \ filename -read state from file -.I filename.coq - -.TP .B \-nois start with an empty initial state .TP -.BI \-outputstate filename -write state in file -.I filename.coq - -.TP .BI \-load\-ml\-object \ filename load ML object file .I filenname |