Re: [isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin
Thanks for the advice. Little assigned memory was exactly the
problem. I was actually using 1 GB but it proved to be insufficient.
Setting to 1.5 GB did the job.
All the Best!
On Thu, Oct 11, 2012 at 11:52 AM, Holger Blasum <hbl at sysgo.com> wrote:
> Hello Alfio,
> > Although I will still keep using JEdit/Isabelle in the W7 setup (it is
> > me or
> > does the jEdit interface looks much nicer in windows that in the linux
> > environment?), when running "isabelle jedit" in Linux i get the following
> > error message (failed to start Isabelle Process: Return Code 127).
> > In the "Prover Session/Syslog" there was only this message:
> > Error code 127;
> This also happens to me sometimes when I use Isabelle/jedit on my old
> T30 thinkpad with just 1 Gig of RAM. Did you assign enough memory to
> your virtual machine (1 Gig is boundary area)? Another "quick fix"
> (less beautiful) in situations with little memory is to invoke
> Isabelle with the proof general interface.
Alfio Ricardo Martini
PhD in Computer Science (TU Berlin)
Associate Professor at Faculty of Informatics (PUCRS)
Coordenador do Curso de Ciência da Computação
Av. Ipiranga, 6681 - Prédio 32 - Faculdade de Informática
90619-900 -Porto Alegre - RS - Brasil
This archive was generated by a fusion of
Pipermail (Mailman edition) and