Am 27.09.2013 um 12:29 schrieb Peter Lammich <lamm...@in.tum.de>: > So here is my question: > If I have some changeset, and want to check whether it breaks AFP > before pushing it to the isabelle repository, how do I do it? Can I use > Testboard?
I don't know if you're using queues, but what I typically do in such (rare) cases is to qpop all, then pull and update, then qpush back to where I was, and then push the resulting "new" patch to Testboard again. This gives you a second shot and if you're lucky, it will get tested thoroughly. Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
