Re: [isabelle] AFP repository now on bitbucket

> Am Sonntag, den 26.07.2015, 11:02 +0000 schrieb Gerwin Klein:
>> Weâre also planning to move the web site, but this will take a bit
>> more preparation.
> will you obtain a dedicated domain for the permanent URLs which will
> redirect to the hoster of choice of the current decade, so that URLs in
> citations etc. will last longer?

Yes! (Well, strictly speaking: no, we have already obtained a domain ;-), but we still have to set things up)



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.