[isabelle-dev] AFP continously broken

[Makarius]

On Thu, 27 Feb 2014, Jasmin Christian Blanchette wrote:

> to the extent that this was possible with an already broken AFP

This is actually the main problem: a broken state of AFP for more than 
0.5--2 days accumulates more and more problems, and then significant time 
needs to be spent to sort it out.

I am using AFP these days continuously to conduct empirical proof, to test 
hypotheses about changes and reforms of Isabelle, without doing any harm 
to the majority to applications.


 	Makarius