Jetzt möchte ich mein Versprechen endlich einlösen und etwas über Patch Queues, also die mq-Extension von Mercurial erzählen. Im Gegensatz zu meinem letzten Vortrag ist dieser für interessierte "Fortgeschrittene", und nicht notwendig um das Isabelle-Repository zu benutzen. Gruß Alex