diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-05-19 19:55:59 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-05-19 19:55:59 +0000 |
| commit | 96335f026b0a5295a986a5ebde3d7e850db0a1cc (patch) | |
| tree | b7cde0779a29f7e7cf6267f41e2524d0e6700ab6 /INSTALL | |
| parent | 81b3a8ca02097bd4a25d1c75ae4e8e926b449468 (diff) | |
Mention sumo
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -142,6 +142,9 @@ packages that you need to use Proof General: * outline * func-menu or imenu +If in doubt and you have the option, select the aptly named XEmacs +"sumo" package. + The X Symbol package is now bundled with Proof General so you do not need to download it separately. |