[isabelle-dev] Webview for AFP repository?

[Lars Noschinski]

On 21.04.2013 02:13, Florian Haftmann wrote:
> 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.

There is also <http://sourceforge.net/p/afp/code/ci/tip/tree/>.

   -- Lars