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.
