diff options
| author |  Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 00:01:12 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel <erik@martin-dorel.org> | 2018-08-23 01:23:31 +0200 |
| commit | 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 (patch) | |
| tree | 676fe59b7644498172f96b6da605745a6bf71a13 /generic/proof-autoloads.el | |
| parent | 3ba86af3271111cb056676c631b7caa6897e06f1 (diff) | |
Fix most doc issues raised by (checkdoc)
Diffstat (limited to 'generic/proof-autoloads.el')
| -rw-r--r-- | generic/proof-autoloads.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-autoloads.el b/generic/proof-autoloads.el index 5cd83ddd..e93c4da2 100644 --- a/generic/proof-autoloads.el +++ b/generic/proof-autoloads.el @@ -292,7 +292,7 @@ Additional properties in the ARGS prop list may include: pgdynamic flag If flag is non-nil, this setting is a dynamic one that is particular to the running instance of the prover. - Automatically set by preferences configured from PGIP + Automatically set by preferences configured from PGIP askprefs message. This macro also extends the `proof-assistant-settings' list. @@ -654,7 +654,7 @@ also as the 'response property on the span. Optional argument MOUSEFACE means use the given face as a mouse highlight face, if it is a face, otherwise, if it is non-nil but not a face, -do not add a mouse highlight. +do not add a mouse highlight. In any case, a mouse highlight and tooltip are only set if `proof-output-tooltips' is non-nil. @@ -783,7 +783,7 @@ Busy wait for `proof-shell-busy' to become nil, reading from prover. Needed between sequences of commands to maintain synchronization, because Proof General does not allow for the action list to be extended -in some cases. Also is considerably faster than leaving the Emacs +in some cases. Also is considerably faster than leaving the Emacs top-level command loop to read from the prover. Called by `proof-shell-invisible-command' and `proof-process-buffer' |