On 09/02/18 18:05, Lars Hupel wrote:
>
> on Sunday, I will have to perform necessary maintenance. The following
> services may be interrupted and/or unavailable:
>
> - (shell access to) lxcisa0
>
> In particular, I recommend to not start any new jobs on lxcisa0, as I
> might have to stop them. Please try to finish existing jobs by Sunday
> 10am CET. Jenkins jobs will be disabled already on Saturday evening.
Thanks for taking care of this important machine. Without it, Isabelle +
AFP maintenance would be very difficult.
Is it possible to install emacs on it?
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
