Re: [isabelle] Fwd: Executing 2 Isabelle-2016 or even 2 Jedit processes on Windows



Emm..
What i can do is s creen shot of the different instances and the list of
the running  processes if you need it to investigate the problem.

Best,

Yakoub.

2016-06-08 22:53 GMT+02:00 Makarius <makarius at sketis.net>:

> On 08/06/16 22:16, Nemouchi Yakoub wrote:
> >> * What exactly is your Windows version?
> >> I am using Windows 7 64-bits.
> >
> >> * What happens when you start Isabelle2016.exe first, and after waiting
> >> a bit, run "isabelle jedit_client" in the Cygwin-Terminal?
> >
> > It works fine, with Cygwin i can run multiple processes even if i
> > executed  Isabelle2016.exe before.
>
> But this means something does not work properly: after starting the
> Isabelle2016.exe application, any "isabelle jedit_client" invocations
> should connect to that single instance.
>
>
>         Makarius
>
>
>



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