aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/gallina-syntax.el
Commit message (Collapse)AuthorAge
* [vernac] Remove `Save.` command.Gravatar Emilio Jesus Gallego Arias2017-05-23
| | | | It has been deprecated for a while in favor of `Qed`.
* Add a [Variant] declaration which allows to write non-recursive variant types.Gravatar Arnaud Spiwack2014-09-04
| | | | Just like the [Record] keyword allows only non-recursive records.
* Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4eGravatar Pierre Boutillier2013-12-17
| | | | | Attempt to adapt .el files too. doc/refman/RefMan-uti.tex has still to be fixed.
* Renaming elisp files to avoid conflict with pg in distribs.Gravatar Pierre Courtieu2013-12-10