[isabelle-dev] AFP failures near 7f7ca3a43026
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.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 263 bytes
Desc: OpenPGP digital signature
More information about the isabelle-dev