diff options
author | Clément Pit-Claudel <cpitclaudel@gmail.com> | 2018-08-15 11:05:35 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-15 11:05:35 -0400 |
commit | b7f17b7ca09276be5cd29263bd5574fdd6fa4d2c (patch) | |
tree | f26abf84e0e9cfd6d2a1d9d856d5d91c2823b7bd | |
parent | 52d1f920a6565fc1c3793d4f70b990ca343dc0d0 (diff) | |
parent | 0d7a62f36b532dffa5fe8e55e6b1a1775e6c17e6 (diff) |
Merge pull request #378 from user454322/patch-1
Fix typo in INSTALL file
-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: |