From 6dd9e003c289a79b0656e7c6f2cc59935997370c Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sat, 16 Aug 2014 20:37:59 +0200 Subject: Removing documentation related to the deprecated State machinery. --- man/coqide.1 | 8 -------- man/coqtop.1 | 10 ---------- 2 files changed, 18 deletions(-) (limited to 'man') 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 @@ -46,20 +46,10 @@ set the toplevel name to be .I coqdir 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 -- cgit v1.2.3