diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 13:35:04 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-31 13:35:04 +0000 |
commit | 0911b24487c4e85f3c5ed3d0e6d00bc338428af4 (patch) | |
tree | f508cc13b273acf2f03841dbf735e84abcfc3ef8 /FAQ | |
parent | 9f2487a5e6fc588f6d3b1e567ff6b2a3f8143916 (diff) |
Updated.
Diffstat (limited to 'FAQ')
-rw-r--r-- | FAQ | 15 |
1 files changed, 9 insertions, 6 deletions
@@ -23,12 +23,15 @@ A. We distribute compiled .elcs for GNU Emacs 22.1, so you will have to delete them and (optionally) recompile for your preferred Emacs version. Using the Makefile: - Use 'make clean' to remove all .elc files. - Use 'make compile EMACS=xemacs' to recompile .elc files for "xemacs". - - Note: GNU Emacs is recommended. To start Isabelle using the - Isabelle command with GNU Emacs instead of the default xemacs, - use "Isabelle -p emacs" + make clean # removes all .elc files. + + and then a command like this: + + make EMACS=xemacs + + Note: GNU Emacs is recommended. XEmacs support may be removed + in future. + ----------------------------------------------------------------- |