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" <[email protected]>
Subject: SourceForge.net CVS Migration and Downtime Announcement
Date: Mon, 29 Sep 2008 17:24:46 UT
Size: 4588
URL:
<https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20080930/898c63c0/attachment.eml>
