> On 26.03.2015, at 14:00, Peter Lammich <lamm...@in.tum.de> wrote: > > Isabelle version: devel -- hg id 034b13f4efae
Someone pushed a fix a few hours ago already (75433c3ee203). Jasmin _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev