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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
