On Mon, Jun 8, 2009 at 12:20 AM, Florian Haftmann<florian.haftmann at informatik.tu-muenchen.de> wrote: >> thanks for reporting this. I hope to eliminate this problem within this >> day. > > http://isabelle.in.tum.de/repos/isabelle/shortlog > > Done > Florian It works - thanks! - Brian