[isabelle-dev] Final consolidation for Isabelle2018-RC2
eberlm at in.tum.de
Wed Jul 18 17:05:00 CEST 2018
I had what seems to be a spurious failure of
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.
On 2018-07-18 12:53, Makarius wrote:
> This is a reminder that we are in the final consolidation phase towards
> 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).
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev