Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge PR #244. | 2016-09-08 | |
|\ | |||
* | | Fix #4941 - ~/.coqrc file confusing locations | 2016-08-30 | |
| * | Unify location handling of error functions. | 2016-08-19 | |
|/ | |||
* | Remove lexing of ordinal notations. | 2016-07-03 | |
* | A new infrastructure for warnings. | 2016-06-29 | |
* | Add file name, line number and beginning of line position to locations. | 2016-06-20 | |
* | Feedback cleanup | 2016-05-31 | |
* | Merge branch 'v8.5' | 2016-05-09 | |
* | Rename Lexer -> CLexer. | 2016-05-09 |