[isabelle-dev] Fwd: status (AFP)

[Lukas Bulwahn]

I hope changeset 2cdf5c71b818 in the AFP solves the issue.

Lukas

On 03/11/2012 01:02 PM, Brian Huffman wrote:
> On Sun, Mar 11, 2012 at 12:09 PM, Tobias Nipkow<nipkow at in.tum.de>  wrote:
>> One error in JinjaThreads was fixed, here is the next one:
>>
>> *** Unknown fact "list_all2_update_cong2" (line 467 of
>> "/mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy")
>> *** At command "apply" (line 467 of
>> "/mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/BV/BVSpecTypeSafe.thy")
>> Exception- TOPLEVEL_ERROR raised
> I guess this has to do with the following changeset:
>
> changeset:   46665:c1d2ab32174a
> user:        bulwahn
> date:        Sat Feb 25 09:07:37 2012 +0100
> summary:     one general list_all2_update_cong instead of two special ones
>
> http://isabelle.in.tum.de/repos/isabelle/rev/c1d2ab32174a
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev