| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-08-23 | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | |
| 2018-02-21 | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | |
| 2017-03-08 | Remove uses of defpgdefault in coq-abbrev | Clément Pit--Claudel | |
| This file is `require'-d when compiling coq.el, and at that point the proof assistant isn't set to coq yet, so it would define variables prefixed by `nil-' instead of `coq'. | |||
| 2017-03-08 | Remove compile-time calls to proof-ready-for-assistant | Clément Pit--Claudel | |
| Compilation used to run in a separate Emacs process for each file, but that's not what happens when installing PG with package.el. | |||
| 2017-03-08 | Fix incorrect uses of defvar | Clément Pit--Claudel | |
| It didn't really matter that these variables were defined and set to nil during compilation, since we ran compilation in a clean Emacs in --batch mode; it does matter now, however, since package.el compiles PG in the user's currently running Emacs instance. | |||
| 2017-01-19 | save settings not defined with defpacustom (fixes #142) | Hendrik Tews | |
| - infrastructure for saving/resetting customizations not defined with defpacustom - improve Coq -> Auto Compilation menu - polish documentation and manual | |||
| 2011-05-16 | Clean up customization groups for defpacustom and defpgcustom. See ↵ | David Aspinall | |
| http://lists.inf.ed.ac.uk/pipermail/proofgeneral-devel/2011/000115.html. | |||
| 2011-01-31 | Only make settings commands for dynamic settings which differ from their ↵ | David Aspinall | |
| defaults | |||
| 2011-01-31 | Make proof-assistant-settings follow currently available dynamic settings, ↵ | David Aspinall | |
| and keep possibly customized variables bound. Closes Trac #387. | |||
| 2011-01-31 | Improve handling of dynamic preferences. Addresses Trac #387. | David Aspinall | |
| 2011-01-12 | Fix quoting in 'float patch. | David Aspinall | |
| 2011-01-11 | Add additional support for pgipfloat type | David Aspinall | |
| 2011-01-11 | 'float -> 'number | David Aspinall | |
| 2011-01-11 | defpacustom: support for 'float type | David Aspinall | |
| 2010-10-01 | Comment | David Aspinall | |
| 2010-08-11 | Move some var+macro to fix compilation | David Aspinall | |
| 2010-08-11 | Support custom syntactic fontification. Split out pa macros. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |