Re: [isabelle] Moving the AFP away from SourceForge
Hosting is not the problem, there are plenty of options that we can figure out.
> 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