On 07/04/17 10:04, Salomon Sickert wrote:
>
>>> In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS
>>> (or even 16.04 LTS).
>>
>> How did you get to that conclusion? Ubuntu LTS support lasts 5 years.
>> Empiricially, I've seen the last 3 LTS versions being installed by
>> Isa
>> In this case I recommend to bump the baseline for Ubuntu up to 14.04 LTS
>> (or even 16.04 LTS).
>
> How did you get to that conclusion? Ubuntu LTS support lasts 5 years.
> Empiricially, I've seen the last 3 LTS versions being installed by
> Isabelle users. Consequently, we have only recently