[isabelle-dev] Formatting AFP Devel-Entries

Lars Noschinski noschinl at in.tum.de
Mon Jun 17 17:50:50 CEST 2013


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.

More information about the isabelle-dev mailing list