1 files changed, 38 insertions, 0 deletions
diff --git a/man/coqtop.1 b/man/coqtop.1
new file mode 100644
index 000000000..5662a3dc4
--- /dev/null
+++ b/man/coqtop.1
@@ -0,0 +1,38 @@
+.TH COQ 1 "April 24, 2001"
+
+.SH NAME
+coqtop \- The Coq Proof Assistant toplevel system
+
+
+.SH SYNOPSIS
+.B coqtop
+[
+.B options
+]
+
+.SH DESCRIPTION
+
+.B coqtop
+is the toplevel system of Coq, for interactive use.
+It reads phrases on the standard input, and prints results on the
+standard output.
+
+For batch-oriented use of Coq, see 
+.BR coqc(1).
+
+
+.SH OPTIONS
+
+.TP
+.B \-h
+Help. Will give you the complete list of options accepted by coqtop.
+
+.SH SEE ALSO
+
+.BR coqc (1),
+.BR coqdep (1).
+.br
+.I
+The Coq Reference Manual.
+.I
+The Coq web site: http://coq.inria.fr