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/coqide.1 | |
parent | 2a3a190384cedc4dfdea5bdf1079d903db624cb8 (diff) |
Removing documentation related to the deprecated State machinery.
Diffstat (limited to 'man/coqide.1')
-rw-r--r-- | man/coqide.1 | 8 |
1 files changed, 0 insertions, 8 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 . |