On 06/02/18 15:09, Fabian Immler wrote:
>
> Stripping the problem down, I realized that this has nothing to do with
> Native_Word, because the same issue arises with the following theory:
>
> theory Test imports HOL.Code_Generator begin
> export_code Code_Generator.holds checking SML
> end
>
>
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. P
Dear users of lxisabelle/lxcisa*,
on Sunday, I will have to perform necessary maintenance. The following
services may be interrupted and/or unavailable:
- Jenkins
- (shell access to) lxcisa0
In particular, I recommend to not start any new jobs on lxcisa0, as I
might have to stop them. Please