diff options
| author | Kartik Singhal | 2020-05-10 12:09:23 -0500 |
|---|---|---|
| committer | Kartik Singhal | 2020-05-10 12:12:46 -0500 |
| commit | 844142c5412a749921cb755a6a4110af5200742d (patch) | |
| tree | b85fd47e262edecd61db03177b8aa0affb32221b /man/coqtop.1 | |
| parent | aab47903fb2d3e0085b03d5ade94f4ae644cd76c (diff) | |
Remove (outdated) timestamps from man pages
Diffstat (limited to 'man/coqtop.1')
| -rw-r--r-- | man/coqtop.1 | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/man/coqtop.1 b/man/coqtop.1 index e799bc7748..74380f9679 100644 --- a/man/coqtop.1 +++ b/man/coqtop.1 @@ -1,4 +1,4 @@ -.TH COQ 1 "October 11, 2006" +.TH COQ 1 .SH NAME coqtop \- The Coq Proof Assistant toplevel system @@ -17,7 +17,7 @@ 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 +For batch-oriented use of Coq, see .BR coqc(1). @@ -29,12 +29,12 @@ Help. Will give you the complete list of options accepted by coqtop. .TP .BI \-I \ dir, \ \-\-include \ dir -add directory +add directory .I dir in the include path .TP -.BI \-R \ dir\ coqdir +.BI \-R \ dir\ coqdir recursively map physical .I dir to logical @@ -67,7 +67,7 @@ load Coq file (Load filename.) .TP -.BI \-load\-vernac\-source\-verbose \ filename, \ \-lv \ filename +.BI \-load\-vernac\-source\-verbose \ filename, \ \-lv \ filename load verbosely Coq file .I filename.v (Load Verbose filename.) |