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


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

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

[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
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev