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