Next week-end we will say goodbye to CVS and pass all the PPL
repositories to git (http://git-scm.com/). Abramo has worked
hard to make the transition as smooth as possible, so I think
no one should worry.
Sometimes during the weekend, the CVS repository will be frozen
(it will remain at its place, but in read-only mode). A few
hours later the new git repository will appear: I will send
an explanatory message to the lists when this happens.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it
