[isabelle-dev] AFP continously broken
makarius at sketis.net
Fri Feb 28 13:32:45 CET 2014
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.
More information about the isabelle-dev