aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/gallina-syntax.el
Commit message (Expand)AuthorAge
* [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
* Add a [Variant] declaration which allows to write non-recursive variant types.Gravatar Arnaud Spiwack2014-09-04
* Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4eGravatar Pierre Boutillier2013-12-17
* Renaming elisp files to avoid conflict with pg in distribs.Gravatar Pierre Courtieu2013-12-10