[isabelle-dev] Formatting AFP Devel-Entries
Gerwin.Klein at nicta.com.au
Mon Jun 17 19:31:04 CEST 2013
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:
> the table for the devel-entries is not formatted correctly, e.g. in
> 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
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