[isabelle-dev] Formatting AFP Devel-Entries

Gerwin Klein Gerwin.Klein at nicta.com.au
Mon Jun 17 19:31:04 CEST 2013

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.


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.

More information about the isabelle-dev mailing list