master

文件	最后提交记录	最后更新时间
coq-tex.1	Fix the man pages' formatting. I'm thinking about learning myself a little Coq, but there's a glaring rock in the way: The man pages are badly formatted. Can't possibly attempt to learn as long as they stay that way. The main changes are these: Empty lines emit vertical space; replace by stylistic no-ops or actual paragraph separators. Wherever there should be a hyphen-minus in the output, use \- in the input. Tell troff where a sentence ends by following it by a newline. Ellipses look nicer with a little space between the dots; do that. The description in the NAME section shouldn't be capitalized and should be nicely readable. Let the man page titles be what the man pages are about. Don't use font-alternating macros where simple font-changing macros suffice. There's more that I'd change if I were in control of the man pages, but that's less important. If you want more rationale for the things I did do, ask me. I'm happy to talk about troff.	2 年前
coq_makefile.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqc.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqchk.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqdep.1	Substitute all URLs to renamed repository.	1 年前
coqdoc.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqnative.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqtop.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqtop.byte.1	Rename PDF refman, and other occurrences of Coq RefMan.	1 年前
coqwc.1	Substitute all URLs to renamed repository.	1 年前
dune	Rename coqide -> rocqide	1 年前
rocq.1	Basic manpage for rocq TBH I don't know how man pages work so I'm not putting much in there. The rocqchk page is just a copy of the coqchk page with coq replaced with rocq.	1 年前
rocqchk.1	Basic manpage for rocq TBH I don't know how man pages work so I'm not putting much in there. The rocqchk page is just a copy of the coqchk page with coq replaced with rocq.	1 年前
rocqide.1	Fix remaining Coq and incorrect renamings in opam files and CLI.	1 年前