[isabelle-dev] [Fwd: SourceForge.net CVS Migration and Downtime Announcement]
Alexander Krauss
krauss at in.tum.de
Tue Sep 30 09:07:47 CEST 2008
> While we're at it: what is the general feeling towards migrating the AFP
> to svn?
I wouldnt bother for now...
Alex
More information about the isabelle-dev
mailing list