diff options
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 422b1295..082f7368 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2558,10 +2558,9 @@ Proof General settings. When adding support for a new proof assistant, we suggest that these other packages are supported, as a convention. -The packages currently supported are +The packages currently supported include @code{font-lock}, -@code{x-symbol}, -@code{func-menu}, +@code{imenu} and @code{speedbar}, @code{outline-mode}, @code{completion}, and @code{etags}. |