Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Fix test-suite scripts: [Generalizable Variables] and small | 2009-11-13 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | - Granted wish #2138 (support for local binders in syntax of Record fields). | 2009-07-15 |