[isabelle-dev] Formatting AFP Devel-Entries

[Gerwin Klein]

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 <noschinl at in.tum.de> 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
> isabelle-dev at in.tum.de
> 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.