diff options
| author |  Javier <user454322@users.noreply.github.com> | 2018-08-15 17:00:32 +0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-08-15 17:00:32 +0800 |
| commit | 0d7a62f36b532dffa5fe8e55e6b1a1775e6c17e6 (patch) | |
| tree | f26abf84e0e9cfd6d2a1d9d856d5d91c2823b7bd | |
| parent | 52d1f920a6565fc1c3793d4f70b990ca343dc0d0 (diff) | |
Update INSTALL
| -rw-r--r-- | INSTALL | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -57,7 +57,7 @@ Detailed installation Notes for Proof General Supported Emacs Versions. ------------------------- -Please see COMPATIBILTY. +Please see COMPATIBILITY. If you're not sure of your version of Emacs, inspect the variable `emacs-version' by doing: |