diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 15:15:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 15:15:52 +0000 |
| commit | 89441f1672d3bbb948cfaf1ac17fac7aa581f2b3 (patch) | |
| tree | 8fdfec8c68ee764f83178f4aab4115f75e65176f | |
| parent | 366ff018d7ad21abb2148c79d7a3baa03d4f2961 (diff) | |
Clarify Q1
| -rw-r--r-- | FAQ | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -16,8 +16,9 @@ Q1. Proof General fails to load with an error message on start-up, What's wrong? -A1. We distribute compiled .elcs for GNU Emacs 23.1, so you will have to - delete them and (optionally) recompile for your preferred +A1. We distribute compiled .elcs for one version of Emacs, but other + versions use different bytecode formats. You will have to delete + the compiled files and (optionally) recompile for your preferred Emacs version. Using the Makefile: make clean # removes all .elc files. @@ -26,6 +27,8 @@ A1. We distribute compiled .elcs for GNU Emacs 23.1, so you will have to make EMACS=emacs-22.3 + (without the EMACS setting just uses 'emacs'). + ----------------------------------------------------------------- Q2. Emacs appears to hang when the prover process is started. |