Re: [isabelle] 2014-RC1 issues



On 02.08.2014 19:51, Makarius wrote:
> On Fri, 1 Aug 2014, Lars Noschinski wrote:
>
>> An issue with the precedence of warnings and errors:
>>
>> Under certain circumstances, if a method emits a warning and the apply
>> fails (with an error), the line is only marked as a warning in the
>> theories panel and the right side bar.
>
> It should we OK in the right side bar -- according to
> http://www.mail-archive.com/isabelle-dev at mailbroy.informatik.tu-muenchen.de/msg05328.html
> from May 2014. Back then I somehow forgot to apply the analogous
> change to the theories panel as well.
I'm pretty sure, my original case had it wrong on the right side bar,
too. But indeed, my test case doesn't exhibit this behaviour and I
cannot reproduce what I rememeber to have seen. I'll keep an eye on this.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.