[isabelle-dev] Formatting AFP Devel-Entries

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


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.


More information about the isabelle-dev mailing list