[isabelle-dev] AFP status

[Andreas Lochbihler]

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