aboutsummaryrefslogtreecommitdiff
path: root/man/coq-parser.1
AgeCommit message (Expand)Author
2018-10-23[dune] Install man pages + remove two obsolete ones.Emilio Jesus Gallego Arias
2008-08-18Renaming parser -> coq-parserglondu
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:08:15 +0000