On 09/10/18 10:57, Christian Sternagel wrote:
> On 10/08/2018 04:14 PM, Makarius wrote:
>> On 08/10/18 15:58, Lars Hupel wrote:
>>
>> I don't mind if it is possible to eliminate AFP/HLDE (theory
>> Diophantine_Eqns_Lin_Hom.Solver_Code) outright, and just refrain from
>> doing such things in AFP.
>>
Dear Isabelle developers and users,
we will perform a large-scala system migration over the next 24–48
hours. The purpose is to move towards the latest Ubuntu 18.04 LTS.
Affected will be continuous integration, the AFP, and the AFP submission
service.
Expect intermittent unavailability and HTTPS
On 10/08/2018 04:14 PM, Makarius wrote:
> On 08/10/18 15:58, Lars Hupel wrote:
>
> I don't mind if it is possible to eliminate AFP/HLDE (theory
> Diophantine_Eqns_Lin_Hom.Solver_Code) outright, and just refrain from
> doing such things in AFP.
>
Compiling a binary in HLDE was a mere experiment o