[isabelle-dev] Fwd: status (AFP)

Tobias Nipkow nipkow at in.tum.de
Sun Mar 11 12:09:34 CET 2012

One error in JinjaThreads was fixed, here is the next one:

*** Unknown fact "list_all2_update_cong2" (line 467 of
*** At command "apply" (line 467 of
Exception- TOPLEVEL_ERROR raised


-------- 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,

More information about the isabelle-dev mailing list