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
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
