diff options
Diffstat (limited to 'FAQ')
| -rw-r--r-- | FAQ | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -13,6 +13,8 @@ Q. Proof General fails to load with an error message on start-up: error: "File `.../ProofGeneral/generic/proof-autoloads.elc' was not compiled in Emacs" + 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: @@ -25,6 +27,17 @@ A. We distribute .elcs for XEmacs, so you will have to delete ----------------------------------------------------------------- +Q. Proof General fails to load with an error message like this: + + file mode specification error: (file-error "cannot open load file" "executable") + + What's wrong? + +A. You're missing some Emacs (probably XEmacs) packages. See + the section "Dependency on Other Emacs Packages" in INSTALL. + +----------------------------------------------------------------- + Q. Where have my buffers gone? They used to be on the Buffers menu! A. The PG "associated buffers" which display the proof state and |