diff options
| author | Emilio Jesus Gallego Arias | 2018-10-23 08:31:13 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-10-23 08:39:45 +0200 |
| commit | c2973136d2373f60d4398cbfb798f740ffdb9810 (patch) | |
| tree | 861470f370dab8d657565903e4ab598d8160ff2e /man/coq-interface.1 | |
| parent | 2d714ebc0ea9588b4346249a574d9eda63dd389d (diff) | |
[dune] Install man pages + remove two obsolete ones.
Diffstat (limited to 'man/coq-interface.1')
| -rw-r--r-- | man/coq-interface.1 | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/man/coq-interface.1 b/man/coq-interface.1 deleted file mode 100644 index ee013d952e..0000000000 --- a/man/coq-interface.1 +++ /dev/null @@ -1,37 +0,0 @@ -.TH COQ 1 "April 25, 2001" - -.SH NAME -coq\-interface \- Customized Coq toplevel to make user interfaces - - -.SH SYNOPSIS -.B coq-interface -[ -.B options -] - -.SH DESCRIPTION - -.B coq-interface -is a Coq customized toplevel system for Coq containing some modules -useful for the graphical interface. This program is not for the casual -user. - -.SH OPTIONS - -.TP -.B \-h -Help. Will give you the complete list of options accepted by -coq-interface (the same as coqtop). - -.SH SEE ALSO - -.BR coqc (1), -.BR coqdep (1), -.BR coqtop (1), -.BR coq\-parser (1). -.br -.I -The Coq Reference Manual. -.I -The Coq web site: http://coq.inria.fr |