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
> 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
This archive was generated by a fusion of
Pipermail (Mailman edition) and