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

[Gerwin Klein]

Looks like the AFP cvs will be down for most of the day today.

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

(Mercurial would be nicer, but sourceforge offers only CVS and SVN).

pro: more flexible, renaming of directories, better handling of branches,
      "atomic" commits
con: we need to migrate

We would not lose any version history.

Cheers,
Gerwin
-------------- next part --------------
An embedded message was scrubbed...
From: "SourceForge.net Team" <noreply at sourceforge.net>
Subject: SourceForge.net CVS Migration and Downtime Announcement 
Date: Mon, 29 Sep 2008 17:24:46 UT
Size: 4588
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20080930/898c63c0/attachment-0002.eml>