Re: [isabelle] AFP repository now on bitbucket



Hi,

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?

Greetings,
Joachim

-- 
Dipl.-Math. Dipl.-Inform. Joachim Breitner
Wissenschaftlicher Mitarbeiter
http://pp.ipd.kit.edu/~breitner

Attachment: signature.asc
Description: This is a digitally signed message part



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