[isabelle-dev] Webview for AFP repository?

[Florian Haftmann]

Hi all,

what appears to me as the official webview for the AFP repository
(http://hg.code.sf.net/p/afp/code) appears very poor in style, due to a
missing stylesheet (hg.code.sf.net/p/afp/code/static/style-paper.css), I
guess.

Is there any chance to do sth. concerning that?

Thanks a lot,
	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 261 bytes
Desc: OpenPGP digital signature
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20130421/3554b290/attachment.asc>