[isabelle-dev] [Fwd: SourceForge.net CVS Migration and Downtime Announcement]

[Florian Haftmann]

> While we're at it: what is the general feeling towards migrating the AFP
> to svn?

I have no strict opinion on this.  Perhaps, if somebody wants to invest
the effort, there are no urgent causes against migrating to SVN.  But if
not, staying with CVS is no desaster at all.

	Florian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: florian.haftmann.vcf
Type: text/x-vcard
Size: 654 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20080930/7e0ee5b1/attachment-0002.vcf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 185 bytes
Desc: OpenPGP digital signature
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20080930/7e0ee5b1/attachment.sig>