On Thu, 21 Nov 2013, Dmitriy Traytel wrote: > From my angle Isabelle/f6ffe53387ef resolves [1] in a robust way. But I'm > waiting for Christian to confirm this. Chris, is this OK? I am ready to send f6ffe53387ef to the emergency release branch https://bitbucket.org/isabelle_project/isabelle-release Makarius