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