[isabelle-dev] JDK / Mira

[Lukas Bulwahn]

I restarted all mira daemons now.

Lukas

On 03/29/2012 09:53 AM, Florian Haftmann wrote:
> I guess someone must restart the mira deamons in order to run with the
> adjusted configurations.
>
> 	Florian
>
>
>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20120329/4174d3b5/attachment-0002.html>