Module: ppl/w3ppl Branch: master Commit: ab6dec1be21f426f77f15c41745e0aba41010763 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=ab6dec1be21...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 9 20:59:57 2009 +0200
Acknowledge the contribution of INRIA.
---
htdocs/Credits/Credits.raw | 6 ++++++ 1 files changed, 6 insertions(+), 0 deletions(-)
diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index 5ad7793..9d8a861 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -437,6 +437,12 @@ We are grateful for the following contributions: and the <A HREF="http://www.parisc-linux.org/">PA-RISC Linux community</A> for their kind assistance. </LI> + <LI> + <A HREF="http://www.inria.fr/">INRIA</A> is supporting Abramo + Bagnara from January 1st to May 31st, 2009, to work on the PPL + and its development infrastructure. Many thanks go, in particular, + to <A HREF="http://www-rocq.inria.fr/~acohen/">Albert Cohen</A>. + </LI> </UL>