aboutsummaryrefslogtreecommitdiff
path: root/man/coqc.1
AgeCommit message (Expand)Author
2020-05-10Remove (outdated) timestamps from man pagesKartik Singhal
2012-01-21Coqtop and coqc: cleaning description of options in RefMan and manpages.pboutill
2006-10-11Ajout de pages de man pour les exécutables coqnotin
2001-04-25man pages for coq-interface and parsercourant
2001-04-25Ajout pages de man coq_makefile et coqmktopcourant
2001-04-25- Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.bytecourant