[isabelle-dev] AFP status

Manuel Eberl eberlm at in.tum.de
Wed Jan 13 09:08:07 CET 2016


I already have Sturm_Tarski running again and will commit that later today.

On a related note, in faf1aa9381e0, I also removed the definition of 
"algebraic" from Algebraic_Numbers and updated it to use the more 
general definition of "algebraic" that is now in the library.


Cheers,

Manuel


On 13/01/16 08:56, Andreas Lochbihler wrote:
> Applicative_Lifting and Stern_Brocot now (AFP/1c0036f62a32) work with
> Isabelle/adcaaf6c9910.
>
> Andreas
>
> On 13/01/16 00:06, Makarius wrote:
>> The AFP status is much better than last week, but these sessions are
>> still broken
>> (Isabelle/7355fd313cf8 and AFP/87337b54f3eb):
>>
>>    Applicative_Lifting
>>    Stern_Brocot
>>    Sturm_Tarski
>>
>> In this hot phase of release preparation, we need things continuosly
>> working.
>>
>>
>>      Makarius
>> _______________________________________________
>> isabelle-dev mailing list
>> isabelle-dev at in.tum.de
>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>>
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev



More information about the isabelle-dev mailing list