B. Installing Isamode

The current version of Isamode has been tested with XEmacs version 20.4. XEmacs changes continuously, and it is too difficult to make Isamode backward compatible with earlier versions. So make sure you are running the latest and greatest!

Version 2.2 of Isamode was the last to be compatible with FSF GNU Emacs version 18. Version 2.6 of Isamode was the last to be compatible with FSF GNU Emacs altogether. The divergence between FSF GNU Emacs and XEmacs makes it too difficult to maintain Isamode for both varieties. XEmacs provides a more friendly user interface, and the inclusion of toolbars, images, etc.

To install Isamode, you need to do the following things:

1. Edit the file `isa-site.el'. Here you must edit the variable isa-isatool-command to be the full path name for the command isatool, if it is not on your PATH by default. If it is on PATH when Emacs is started, you may not need to do any customization at all.
2. Edit the file `Makefile'. There are two variables to control where the files are to be installed.
3. Execute the command make compile to create `.elc' files
4. Execute the command make install to install `.el' and `.elc' files. It may be most convenient to put the file `isa-site.el' somewhere on the Emacs load path.
5. If you want to start Isabelle from inside any Emacs session, add the line:

      (load "isa-site")
   

   to an Emacs site-default file or your personal `~/.emacs'. Otherwise you may wish to start special Emacs sessions for Isabelle using one of the tools provided with Isabelle.

More detailed instructions are given in the file `INSTALL.txt' which is part of the distribution. Installation should be straightforward, so please let me know if you have any problems.

To customize Isamode, read about the user options available in section 7. Customizing the Display and section 6.4 Theory mode User Options.

Happy theorem proving!

Go to the first, previous, next, last section, table of contents.