[isabelle-dev] [Fwd: SourceForge.net CVS Migration and Downtime Announcement]
gerwin.klein at nicta.com.au
Mon Sep 29 23:46:03 CEST 2008
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,
con: we need to migrate
We would not lose any version history.
-------------- 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
More information about the isabelle-dev