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
O
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
St
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
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
https://mailmanbroy.informatik.tu-muenchen.de/mai