[isabelle-dev] Webview for AFP repository?
lp15 at cam.ac.uk
Mon Apr 22 13:13:28 CEST 2013
Stylesheets are about style, but the page also seems to have missing elements. Is there a default stylesheet that we could take as a starting point?
On 21 Apr 2013, at 01:13, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> 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
> Is there any chance to do sth. concerning that?
> Thanks a lot,
> PGP available:
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev