diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-16 20:37:59 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2014-08-16 22:17:45 +0200 |
| commit | 6dd9e003c289a79b0656e7c6f2cc59935997370c (patch) | |
| tree | 29bf3bccabd04d163eec29b14eee92caaea4712d /man | |
| parent | 2a3a190384cedc4dfdea5bdf1079d903db624cb8 (diff) | |
Removing documentation related to the deprecated State machinery.
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 |