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

[Lucas Dixon]

A year or two ago I moved IsaPlanner to subversion from CVS, the 
transition was completely painless, and I now wish I'd moved over a lot 
earlier. Other advantages include: the ability to do status-checks on 
your repository off-line as well as local modifications, better handling 
of files and directories, it's faster, and the web support and 
statistical info is better.

I would highly recommend it.

The only work involved that I remember was running a conversion 
script... in fact sourceforge provided this with a web-interface, so 
it's very easy. The subversion commands are also intuitive if you have 
any CVS knowledge.

best,
lucas

Gerwin Klein wrote:
> 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
> 
> 
> ------------------------------------------------------------------------
> 
> _______________________________________________
> Isabelle-dev mailing list
> Isabelle-dev at mailbroy.informatik.tu-muenchen.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.