Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Miscellaneous updates | Stephane Glondu | 2012-01-12 |
* | ide/utf8.v is not there anymore (moved to theories) | Stephane Glondu | 2008-07-28 |
* | Added coqide faq. | Samuel Mimram | 2004-07-16 |
* | Added coqide faq. | Samuel Mimram | 2004-07-16 |