[isabelle-dev] Final consolidation for Isabelle2018-RC2

[Manuel Eberl]

I had what seems to be a spurious failure of
Probabilistic_Timed_Automata yesterday:
https://ci.isabelle.systems/jenkins/job/testboard/50/consoleFull

The error message is:

*** exception THM 0 raised (line 1136 of "thm.ML"): generalize: bad index

I am quite sure that my (purely cosmetic) changes are completely unrelated to that error and a later test run of virtually the same thing worked fine.

Perhaps this should be investigated before the release.

Manuel


On 2018-07-18 12:53, Makarius wrote:
> This is a reminder that we are in the final consolidation phase towards
> Isabelle2018-RC2.
>
> I will say more precisely when the fork of the isabelle-dev vs.
> isabelle-release repositories will happen, presumably in the next few
> days. After return from FLoC I still need to sort out many details, and
> some genuine problems (apart from inevitable last-minute additions).
>
>
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180718/467ac935/attachment-0002.html>