[isabelle-dev] Webview for AFP repository?

Gerwin Klein Gerwin.Klein at nicta.com.au
Tue Apr 23 01:30:36 CEST 2013

On 22.04.2013, at 9:15 PM, Lars Noschinski <noschinl at in.tum.de> wrote:

> 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/>.

This is the correct one.

The address http://hg.code.sf.net/p/afp/code is thought for direct hg access if you don't have an SF account, not for web view (it would be nicer if it also worked for web, but we don't have direct shell access to the repos any more, so we can't fix it).



The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

More information about the isabelle-dev mailing list