Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Added a generic handler of Ltac quotations, based on the existing | 2013-06-27 | |
* | Dir_path --> DirPath | 2013-02-19 | |
* | Modulification of dir_path | 2012-12-14 | |
* | Modulification of identifier | 2012-12-14 | |
* | Adding a nominal typing layer to Metasyntax in order to clarify | 2012-10-04 | |
* | Moved Compat to parsing. This permits to break the dependency of the | 2012-10-04 | |
* | Updating headers. | 2012-08-08 | |
* | Split Egrammar into Egramml and Egramcoq | 2012-05-29 |