[isabelle-dev] AFP failures near 7f7ca3a43026

Florian Haftmann florian.haftmann at informatik.tu-muenchen.de
Thu Jun 12 10:38:32 CEST 2014

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



PGP available:

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

More information about the isabelle-dev mailing list