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-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev