[isabelle-dev] Webview for AFP repository?
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
There is also <http://sourceforge.net/p/afp/code/ci/tip/tree/>.
More information about the isabelle-dev