Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Enhancements to coqdoc, better globalization of sections and modules. | msozeau | 2008-06-06 |
* | Fix setoid_rewrite documentation examples. | msozeau | 2008-06-03 |
* | Improvements on coqdoc by adding more information into .glob | msozeau | 2008-05-30 |
* | r8620@thot: notin | 2006-03-08 11:44:16 +0100 | notin | 2006-03-08 |
* | Nouvelle en-tĂȘte | herbelin | 2004-07-16 |
* | coqdoc | filliatr | 2004-02-24 |