On 19/07/18 13:42, Tobias Nipkow wrote:
> I have the same problem, and on my machine it is reproduceable (and it
> did not go away over the past week, although I tried different versions
> of the devel repository). However, I cannot reproduce the problem on
> testboard.
>
> Tobias
>
> On 18/07/20
On 22/07/18 20:13, Makarius wrote:
> On 22/07/18 12:44, Makarius wrote:
>> On 18/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-releas
On 22/07/18 12:44, Makarius wrote:
> On 18/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 t
On 18/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 FLo
On 19/07/18 13:42, Tobias Nipkow wrote:
> I have the same problem, and on my machine it is reproduceable (and it
> did not go away over the past week, although I tried different versions
> of the devel repository).
I suspect that it is a deferred error due to lazy facts in locale
interpretation.
I have the same problem, and on my machine it is reproduceable (and it did not
go away over the past week, although I tried different versions of the devel
repository). However, I cannot reproduce the problem on testboard.
Tobias
On 18/07/2018 17:05, Manuel Eberl wrote:
I had what seems to be
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
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
so