Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Get rid of "shouldsucceed" subdirectory by moving tests to parent directory. | xclerc | 2013-09-20 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | - Granted wish #2138 (support for local binders in syntax of Record fields). | herbelin | 2009-07-15 |