[PPL-devel] The old w3ppl repository is being frozen

[Roberto Bagnara]

Dear all,

I am about to freeze the old w3ppl repository.
I will then start moving things to the new
repository.  You should see commit messages
when this happens.
In the unlikely case some of you is editing
some files, just wait for that file to appear
in the new repository and commit our changes
there.
Ciao,

    Roberto

-- 
Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it