= LocalComputingInfo/Emacs =

Proof General and Isabelle are rather sensitive to versions of emacs; we have a working version of emacs, for Isabelle and ProofGeneral, compiled at: 

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

you can run it with: 

{{{
/afs/inf.ed.ac.uk/group/dreamers/public/software/emacs-22.1/src/emacs
}}}