## page was renamed from Isabelle
= Isabelle =

Versions of Isabelle, Proof General, and related tools are stored in our shared AFS space at: 

{{{
/afs/inf.ed.ac.uk/group/dreamers/public/software/
}}}

The directory {{{IsaYYYY-X}}} holds release {{{YYYY-X} of Isabelle. e.g. {{{Isabelle-2009-2}}} and related components are stored in: {{{Isa2009-2}}}. 

Each directory has a little shell script that modifies your paths to add the needed isabelle executable to your path. The script it called: 

{{{
/afs/inf.ed.ac.uk/group/dreamers/public/software/IsaYYYY-X/source_me.sh
}}}

so, for example, you can type: 

{{{
source /afs/inf.ed.ac.uk/group/dreamers/public/software/Isa2009-2/source_me.sh
}}}

To setup your environment to use Isabelle-2009-2. And then type: 

{{{
isabelle emacs
}}}

to start Isabelle using Emacs. 

Note: I've installed a more recent version of ProofGeneral than the default one with Isabelle-2009-2, as it fixes several problems. 

Note also: 2009-2 version of Isabelle assumes you've got emacs23.1 installed, not the older emacs22 or emacs21 packages. If you use DICE, you can ask support if you have the wrong version installed on your machine.  The command: 

{{{
emacs --version
}}}

will tell you what version of emacs you have. 

For more information on Isabelle, see the [[http://www.cl.cam.ac.uk/research/hvg/isabelle/|Isabelle Homepage]].

A version of IsaPlanner is also included in the {{{IsaYYYY-X}}} directory.  

== Currently Installed Versions of Isabelle ==

 * Isabelle-2009-2 (Released mid-2010)
   Note that this version includes a jEdit interface. You can start it with {{{isabelle jedit}}}
 * Isabelle-2009-1 (Released end of 2009)
 * Isabelle-2009 (Released 2009)
 * Isabelle-2008 (Released 2008)