[isabelle-dev] AFP failures near 7f7ca3a43026

[Florian Haftmann]

Unfinished session(s): CAVA_Automata, CAVA_Base, CAVA_LTL_Modelchecker,
CAVA_buildchain1, CAVA_buildchain3, Gabow_SCC, LTL_to_GBA,
MonoBoolTranAlgebra, Promela

I have a suspicion that the dropout in MonoBoolTranAlgebra is due to
http://isabelle.in.tum.de/repos/isabelle/rev/4cf607675df8

Concerning the others – in recent times there has been a tendency for
new AFP entries to lay around with no observable activity even a few
days later.  From a maintaince point of view this is quite
unsatisfactory, although I have no convincing proposal at hand what the
way of doing should be in that case.  Surely this cannot be duty of the
AFP publishers themselves, but the current approach seems to me like
muchroom engineering: cut off the first head sprouting off the ground…
any ideas?

	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: 263 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20140611/5ad7129d/attachment.asc>