Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add CHANGES and man entry for coqdep learning _CoqProject. | 2018-03-06 | |
* | Typo in coqdep man | 2017-09-29 | |
* | Fix #4408. | 2016-01-15 | |
* | Coqdep always uses / as dir_sep | 2013-12-20 | |
* | Coqdep: remove references to obsolete .zi and Require Implementation stuff | 2009-03-14 | |
* | Various fixes in manpages | 2008-08-08 | |
* | coqdep -slash | 2006-10-25 | |
* | - Ajout pages de man pour coqc, coqtop, coqtop.opt et coqtop.byte | 2001-04-25 |