Re: [isabelle-dev] AFP status

2016-01-13 Thread Manuel Eberl
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

Re: [isabelle-dev] AFP status

2016-01-12 Thread 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

[isabelle-dev] AFP status

2016-01-12 Thread Makarius
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] AFP status page

2011-04-03 Thread Gerwin Klein
There is now an AFP status page that gives an overview of the results in the nightly AFP test: http://afp.sourceforge.net/status.shtml Cheers, Gerwin ___ isabelle-dev mailing list isabelle-...@in.tum.de