Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Remove deprecated commands Arguments Scope and Implicit Arguments | 2018-03-30 | |
| | |||
* | [vernac] Remove `Save.` command. | 2017-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. | 2014-09-04 | |
| | | | | Just like the [Record] keyword allows only non-recursive records. | ||
* | Fix make install after 3e972b3ff8e532be233f70567c87512324c99b4e | 2013-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. | 2013-12-10 | |