Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove deprecated commands Arguments Scope and Implicit Arguments | 2018-03-30 | |
* | [vernac] Remove `Save.` command. | 2017-05-23 | |
* | Add a [Variant] declaration which allows to write non-recursive variant types. | 2014-09-04 | |
* | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e | 2013-12-17 | |
* | Renaming elisp files to avoid conflict with pg in distribs. | 2013-12-10 |