Am 09.09.2014 um 20:30 schrieb Jasmin Christian Blanchette <jasmin.blanche...@gmail.com>:
> So don't worry if your favorite theory gets some "datatype_new"s in them. > They will go away soon enough. I would like to add one thing: I am of course keeping an eye on Isatest and Testboard. As usual, I will only push changes to Isabelle that pass the "makeall" test -- but it might be that some Isatest or AFP tests sometimes will fail. For example, there have been some timeouts with "HOL-Nominal-Examples" lately in connection with my changes. Because of the big pipeline of patches I am playing with, the nondeterministic nature of some of the failures, and the complicated dependencies of AFP entries upon each other, it may take a few days before I solve the problems. Don't worry, they are on my radar. Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev