diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 17:45:26 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 17:45:26 +0000 |
| commit | ffc8dbe7f626581b60a32c53a6ccc5b14b88279f (patch) | |
| tree | 0804df5f7cf24918be399faa649ded66fe79bbc9 /INSTALL | |
| parent | ce4dd0f36ce0a861a1a86052ce9e281c1ef351da (diff) | |
Caveats about using elcs.
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 |