Re: [isabelle] Isabelle Installation



On Fri, 31 Aug 2007, JanuGerman wrote:

> I am stuck in Isabelle installation. I was using Isabelle from IsoMorph, 
> from quite time, but its too slow.

IIRC IsaMorph uses SML/NJ, which is a bit sluggish.  We get best results 
with Poly/ML, either the patched version version 4.1.4 (see
http://isabelle.in.tum.de/installation.html) or more recent 5.0 (see 
http://www4.in.tum.de/~wenzelm/test/Isabelle2005-polyml-5.0.tar.gz).


> I tried Installing Isabelle many times, but always, got this error.
>
> The error is as follows: (1) (file-mode-spec/warning) Error in File mode 
> specification: Cannot open load file: "executable"

This is just one of the usual problems of getting Proof General work with 
a certain version of Emacs.  See 
http://isabelle.in.tum.de/installation.html for some further hints.  In 
particular, you should first try to get the basic isabelle-process 
running.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.