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-...@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