aboutsummaryrefslogtreecommitdiffhomepage
path: root/vernac/vernacprop.mli
Commit message (Expand)AuthorAge
* Update headers following #6543.Gravatar Théo Zimmermann2018-02-27
* Remove query-in-IDE warning.Gravatar Maxime Dénès2017-12-27
* Separate vernac controls and regular commands.Gravatar Maxime Dénès2017-12-20
* 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