[isabelle-dev] push request (Sublist.thy)

Jasmin Blanchette jasmin.blanchette at gmail.com
Mon Dec 17 17:26:36 CET 2012

Am 17.12.2012 um 16:19 schrieb Makarius:

> "If the revision being repaired was part of an applied patch queue" could also mean the row of changes by Jasmin that were already pushed and in their proper place.  Jasmin, do you remember if these where plain first-order commits on your side, or the result of applying a patch queue?

Almost certainly queues, with the usual "qfinish -a", "push" sequence.


More information about the isabelle-dev mailing list