Hi Lars, thanks for spotting that. I know what's going wrong (I'm parsing isabelle build output wrong), and I have a more fundamental fix for it almost ready to go, but it's on my computer at home which I can't access while travelling.
I'll be back end of June and will push it then. Cheers, Gerwin On 17/06/2013, at 8:50 AM, Lars Noschinski <[email protected]> wrote: > Hi, > > the table for the devel-entries is not formatted correctly, e.g. in > > http://afp.sourceforge.net/devel-entries/Graph_Theory.shtml > > The status field shows > > Status: [-STATUS-] > > and has no background, in contrast to the rest of the table. > _______________________________________________ > isabelle-dev mailing list > [email protected] > https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
