Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Les records déclarés avec Record ne peuvent plus être récursifs (le | aspiwack | 2009-01-19 |
* | Improvements on coqdoc by adding more information into .glob | msozeau | 2008-05-30 |
* | Ajout propriété svn:keywords aux nouveaux fichiers du commit 10840 | herbelin | 2008-04-24 |
* | Prise en compte des coercions dans les clauses "with" même si le type | herbelin | 2008-04-23 |