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
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev