[PPL-devel] [GIT] ppl/w3ppl(master): Mentioned the AIDA 2007 project.

9 Apr 2009

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>

    