diff options
| author | David Aspinall | 2009-10-14 00:57:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-10-14 00:57:37 +0000 |
| commit | adb6b5a032dde8a561877cbd0756bf83222ce4d4 (patch) | |
| tree | 11ea340aea39b11a1e33d10c40df2fbda52f1371 /doc/ProofGeneral.texi | |
| parent | 472a463b62d0e834258d081c85e0a353269d4a6b (diff) | |
Remove function-menu as promised
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}. |