diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2011-01-11 17:06:15 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-11 17:06:15 +0000 |
commit | da65048c208361c704c6a2c200a7553a83f191a0 (patch) | |
tree | c22d65e6d3d59ed19bf980806875963b0ffcc8f2 /generic/pg-vars.el | |
parent | 2f1ae62a2f70c151d16171e218b126d558b5fa98 (diff) |
Add additional support for pgipfloat type
Diffstat (limited to 'generic/pg-vars.el')
-rw-r--r-- | generic/pg-vars.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index 45040c94..c6ecd8ec 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -206,8 +206,8 @@ to examine `proof-shell-last-output'.") A list of lists (SYMBOL SETTING TYPE DESCR) where SETTING is a string value to send to the proof assistant using the value of SYMBOL and and the function `proof-assistant-format'. The TYPE item determines -the form of the menu entry for the setting and the DESCR description -string is used as a help tooltip in the settings menu.") +the form of the menu entry for the setting (this is an Emacs widget type) +and the DESCR description string is used as a help tooltip in the settings menu.") (defvar pg-tracing-slow-mode nil "Non-nil for slow refresh mode for tracing output.") |