[isabelle-dev] AFP failures in sessions ConcurrentGC, MonoBoolTranAlgebra, Presburger-Automata, Vickrey_Clarke_Groves

[Florian Haftmann]

Thanks to all who have invested time and energy to work on those issues.

Nevertheless I have the impression that in the last time there have have
been lots of movements in the distribution being speculative in the
sense that no systematic testing including the AFP had taken place.

What is the reason for this?  No access to suitable computing machines?

Cheers,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20151119/77cff19c/attachment.sig>