[isabelle-dev] Fwd: status (AFP)

[Tobias Nipkow]

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

Tobias

-------- Original-Nachricht --------
Betreff: status (AFP)
Datum: Sun, 11 Mar 2012 08:31:25 +0100 (CET)
Von: isatest at macbroy2.informatik.tu-muenchen.de (Isabelle )
An: undisclosed-recipients:;

The status of the following AFP entries changed or remains FAIL:
[JinjaThreads] is still on FAIL.

Full entry status at http://afp.sourceforge.net/status.shtml

AFP version: development -- hg id c0877261b9e2
Isabelle version: devel -- hg id b190913c3c41
Test ended on: macbroy2, Sun Mar 11 08:31:25 CET 2012.

Have a nice day,
  isatest