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