[isabelle-dev] AFP failures near 7f7ca3a43026

[Florian Haftmann]

> My suggestion would be not to add the new entries to "ROOT" (or wherever they are listed), so that they are not tested at first. The authors/maintainers of the theory would have the freedom to make the entry work at least on their machine, and only then would they be listed for testing.

Seems IMHO worth thinking about it.

	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://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20140612/6388a168/attachment.sig>