diff options
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -103,10 +103,12 @@ Byte Compilation. ----------------- Compilation of the Emacs lisp files improves efficiency but can -sometimes cause compatibility problems. It should be okay if you run -with the same version of Emacs that you compiled with. You can -compile Proof General by typing 'make' in the directory where you -installed it. Check the Makefile sets EMACS to your Emacs executable. +sometimes cause compatibility problems. It is not supported in this +release. If you want to experiment nonetheless, you can compile Proof +General by typing 'make' in the directory where you installed it. +This will result in lots of warnings and error messages most of which +can be ignored. Check the Makefile sets EMACS to your Emacs +executable. Site-wide Installation |