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