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

Clemens Ballarin ballarin at in.tum.de
Tue Sep 30 10:07:28 CEST 2008

I wouldn't bother either.  Actually, I don't see any real benefit for  
us, but then you are in a better position to judge.


On 29 Sep 2008, at 23:46, Gerwin Klein wrote:

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

More information about the isabelle-dev mailing list