Re: [isabelle] Fwd: Executing 2 Isabelle-2016 or even 2 Jedit processes on Windows
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.
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.
This archive was generated by a fusion of
Pipermail (Mailman edition) and