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/coq-tex.1 | |
| parent | aab47903fb2d3e0085b03d5ade94f4ae644cd76c (diff) | |
Remove (outdated) timestamps from man pages
Diffstat (limited to 'man/coq-tex.1')
| -rw-r--r-- | man/coq-tex.1 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/man/coq-tex.1 b/man/coq-tex.1 index 7e0a2f81e2..e4cea24c55 100644 --- a/man/coq-tex.1 +++ b/man/coq-tex.1 @@ -1,4 +1,4 @@ -.TH COQ-TEX 1 "29 March 1995" +.TH COQ-TEX 1 .SH NAME coq-tex \- Process Coq phrases embedded in LaTeX files @@ -66,7 +66,7 @@ with `.v.tex' appended. The files produced by .B coq-tex -can be directly processed by LaTeX. +can be directly processed by LaTeX. Both the Coq phrases and the toplevel output are typeset in typewriter font. @@ -86,7 +86,7 @@ folding is performed on the Coq input text. Cause the file .IR coq-image to be executed to evaluate the Coq phrases. By default, -this is the command +this is the command .IR coqtop without specifying any path which is used to evaluate the Coq phrases. .TP |