Re: [isabelle] (Unexpected) Problems with isabelle make on Windows/Cygwin



Hi Holger,

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
> just
> > 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.
>
> Best,
>
> --
> Holger
>



-- 
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 MHonArc.