diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2007-03-04 13:31:56 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2007-03-04 13:31:56 +0000 |
| commit | 365deef3a6fac0821e81ae691b92f2af386611d9 (patch) | |
| tree | ba4bff26139f3adfb7590bfc7f03545ba424fc63 /FAQ | |
| parent | 9b0c78ede03e3dc6654e54cd0c66c7086a85ffb2 (diff) | |
Choose Emacs instead of XEmacs
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -73,8 +73,8 @@ Q. Proof General fails to load with an error message on start-up: What's wrong? -A. We distribute .elcs for XEmacs, so you will have to delete - them and (optionally) recompile for GNU Emacs. Using the Makefile: +A. We distribute .elcs for GNU Emacs, so you will have to delete + them and (optionally) recompile for XEmacs. Using the Makefile: Use 'make clean' to remove all .elc files. Use 'make compile' to recompile .elc files. |