A. Obtaining the software

8.1 Isamode

The Isamode distribution consists of Emacs lisp files and documentation. You can obtain the latest version by anonymous ftp from Edinburgh.

1. Connect to ftp ftp.dcs.ed.ac.uk
2. Login as `anonymous' with your internet address as password
3. type binary
4. cd pub/da
5. get Isamode.tar.gz

It's easier inside Emacs! Visit the virtual directory

   /anonymous@ftp.dcs.ed.ac.uk:pub/da/

move to the file `Isamode.tar.gz' and press C to copy the file to a local directory.

The file `Isamode.tar.gz' should be gunzipped, then extracted using tar:

   gunzip -c Isamode.tar.gz | tar xf -

Please tell me if you have any problems.

8.2 Isabelle

Of course, Isamode is useless without Isabelle!

Isabelle is available by anonymous ftp from the University of Cambridge.

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