aboutsummaryrefslogtreecommitdiffhomepage
path: root/vernac/vernacprop.ml
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* [ast] Improve precision of Ast location recognition in serialization.Gravatar Emilio Jesus Gallego Arias2018-02-22
* [vernac] vernac_expr no longer recursiveGravatar Vincent Laporte2018-01-08
* Merge PR #6492: Remove query-in-IDE warning.Gravatar Maxime Dénès2017-12-29
|\
| * Remove query-in-IDE warning.Gravatar Maxime Dénès2017-12-27
* | [flags] Move global time flag into an attribute.Gravatar Emilio Jesus Gallego Arias2017-12-23
|/
* Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-20
* Remove STM vernaculars.Gravatar Maxime Dénès2017-09-19
* Bump year in headers.Gravatar Pierre-Marie Pédrot2017-07-04
* [stm] Port the toplevel to the STM.Gravatar Emilio Jesus Gallego Arias2017-04-12