diff options
| author |  Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:33:23 +0200 |
|---|---|---|
| committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2018-08-18 19:33:23 +0200 |
| commit | 5f73b85cfcbb7cf0f39d212ce1d5a540e5b8ba22 (patch) | |
| tree | a19ca0998160164a0af06c00cae1b0de13aaa030 /INSTALL | |
| parent | 37fa6de5424f62266593258d33cebad96d9d6d86 (diff) | |
| parent | b7f17b7ca09276be5cd29263bd5574fdd6fa4d2c (diff) | |
Merge branch 'master' of github.com:ProofGeneral/PG
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: |