[isabelle-dev] Fwd: status (AFP)

Tobias Nipkow nipkow at in.tum.de
Thu Mar 8 08:32:08 CET 2012


Since fixing JinjaThreads gets worse as time elapses, pls fix it asap.
It has been broken for a number of days now.

*** Unknown fact "num_AB_s" (line 129 of
"/mnt/nfsbroy/home/isatest/afp/devel/thys/JinjaThreads/Common/BinOp.thy")

Tobias

-------- Original-Nachricht --------
Betreff: status (AFP)
Datum: Thu,  8 Mar 2012 08:26:35 +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 7906454ca15f
Isabelle version: devel -- hg id be56a254d880
Test ended on: macbroy2, Thu Mar  8 08:26:35 CET 2012.

Have a nice day,
  isatest





More information about the isabelle-dev mailing list