Re: [isabelle] Moving the AFP away from SourceForge



Hosting is not the problem, there are plenty of options that we can figure out.

Cheers,
Gerwin

> On 28.05.2015, at 19:38, Lars Hupel <hupel at in.tum.de> wrote:
>
>> Better alternatives exist, for example Bitbucket. They also offer
>> repository hosting, web hosting, and file download.
>
> I need to adjust this claim. The web hosting support neither offers SSI
> (which, if I remember correctly, is used by the AFP), nor custom
> domains. But that could be done by pushing the generated web pages to
> some server at, say, TUM.
>


________________________________

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.




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.