Module: ppl/w3ppl Branch: master Commit: 46b65b88dd21a8cc96edce734fea866ebe45a6d2 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=46b65b88dd2... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Thu Apr 9 21:41:38 2009 +0200 Mentioned the AIDA 2007 project. --- htdocs/Credits/Credits.raw | 7 ++++++- 1 files changed, 6 insertions(+), 1 deletions(-) diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw index eee0211..1994a42 100644 --- a/htdocs/Credits/Credits.raw +++ b/htdocs/Credits/Credits.raw @@ -491,7 +491,12 @@ projects and organizations: </LI> <LI> MURST project - ``<A HREF="http://www.cs.unipr.it/Projects/AIDA">AIDA + ``<A HREF="http://www.cs.unipr.it/Projects/AIDA/">AIDA + - Abstract Interpretation: Design and Applications</A>''. + </LI> + <LI> + PRIN project + ``<A HREF="http://www.cs.unipr.it/Projects/AIDA2007/">AIDA 2007 - Abstract Interpretation: Design and Applications</A>''. </LI> <LI>