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

Lucas Dixon ldixon at inf.ed.ac.uk
Tue Sep 30 11:39:20 CEST 2008

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.


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.

More information about the isabelle-dev mailing list