Re: [isabelle-dev] Distro broken

2016-10-20 Thread Tobias Nipkow
We never promised that the new test infrastructure would guarantee that nobody will break the repository anymore. You are perfectly aware of this. So stop trolling. Tobias On 19/10/2016 13:52, Makarius wrote: On 19/10/16 13:38, Lars Hupel wrote: Oh, nothing went wrong: Jenkins sent an

Re: [isabelle-dev] AFP broken

2016-10-20 Thread Tobias Nipkow
These are good suggestions, thanks, we'll add them to the submission system. Tobias On 19/10/2016 23:33, Makarius wrote: The situation can be easily improved: the AFP submission system merely needs to check for "Legacy feature" warnings, and tell the authors to eliminate them beforehand.