[PPL-announce] Transition to git

[Roberto Bagnara]

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 at cs.unipr.it