[isabelle-dev] Webview for AFP repository?

Lars Noschinski noschinl at in.tum.de
Mon Apr 22 13:15:25 CEST 2013


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



More information about the isabelle-dev mailing list