Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Merge branch 'v8.6' | 2016-10-05 | |
|\ | |||
* \ | Merge branch 'v8.6' | 2016-10-02 | |
|\ \ | |||
| | * | Add command 'Set foo Append "bar"' for appending to an option (bug #5109). | 2016-10-01 | |
| |/ | |||
| * | Fix bug #4798: compat notations should not modify the parser. | 2016-09-29 | |
* | | Revert "Merge remote-tracking branch 'github/pr/283' into trunk" | 2016-09-22 | |
* | | Stylistic improvements in intf/decl_kinds.mli. | 2016-09-20 | |
* | | Removing the last uses of Pptactic in the lower layers. | 2016-09-09 | |
* | | Making Vernacexpr independent from Tacexpr. | 2016-09-08 | |
|/ | |||
* | Adding ability to put any pattern in binders, prefixed by a quote. | 2016-06-27 | |
* | Adding an only printing flag to notations. | 2016-06-07 | |
* | Move serialization functions out of Stm | 2016-06-02 |