| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [ast] Improve precision of Ast location recognition in serialization. |  Emilio Jesus Gallego Arias | 2018-02-22 |
| We follow the suggestions in #402 and turn uses of `Loc.located` in `vernac` into `CAst.t`. The impact should be low as this change mostly affects top-level vernaculars. With this change, we are even closer to automatically map a text document to its AST in a programmatic way. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |