Re: [isabelle-dev] AFP/MFMC_Countable still failing

2016-05-31 Thread Johannes Hölzl 
Unfortunately it is not easily upgraded, as I did a semantic change in
HOL-Probability (i.e. ereal -> ennreal).

My local version of MFMC is currently 25% ported, and I hope to be
finished in a couple of days. (I didn't work on it over the long
weekend)

 - Johannes

On Mo, 2016-05-30 at 23:28 +0200, Makarius wrote:
> As of Isabelle/dd6cd88cebd9 + AFP/8186added238, MFMC_Countable is
> still
> failing.
> 
> As a new entry it might be actually easy to upgrade.
> 
> Afterwards we might be back to the rare situation where Isabelle +
> AFP
> fully work.
> 
> 
>   Makarius

___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

[isabelle-dev] AFP/MFMC_Countable still failing

2016-05-30 Thread Makarius 
As of Isabelle/dd6cd88cebd9 + AFP/8186added238, MFMC_Countable is still
failing.

As a new entry it might be actually easy to upgrade.

Afterwards we might be back to the rare situation where Isabelle + AFP
fully work.


Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev