diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2017-01-19 11:40:28 +0100 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2017-01-19 11:40:28 +0100 |
| commit | 4bcac92df46da9e68b5e3d565bb118fb63b4feb4 (patch) | |
| tree | ec19916cf72884ee83fc7f52d8c7d87b83ce767f /generic/pg-pamacs.el | |
| parent | 77c3f2eac868f177b73d2aa59b277e40fc48fd0c (diff) | |
save settings not defined with defpacustom (fixes #142)
- infrastructure for saving/resetting customizations not defined
with defpacustom
- improve Coq -> Auto Compilation menu
- polish documentation and manual
Diffstat (limited to 'generic/pg-pamacs.el')
| -rw-r--r-- | generic/pg-pamacs.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index bb765c2c..4958b360 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -228,7 +228,9 @@ which can be changed by sending commands. In this case, NAME stands for the internal setting, flag, etc, for the proof assistant, and a :setting and :type value should be provided. The :type of NAME should be one of 'integer, 'float, -'boolean, 'string. +'boolean, 'string. Other types are not supported (see +`proof-menu-entry-for-setting'). They will yield an error when +constructing the proof assistant menu. The function `proof-assistant-format' is used to format VAL. |