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 /INSTALL | |
parent | 52d1f920a6565fc1c3793d4f70b990ca343dc0d0 (diff) |
Update INSTALL
Diffstat (limited to '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: |