[PPL-devel] [GIT] ppl/w3ppl(master): Mentioned the AIDA 2007 project.
Roberto Bagnara
bagnara at cs.unipr.it
Thu Apr 9 21:42:41 CEST 2009
Module: ppl/w3ppl
Branch: master
Commit: 46b65b88dd21a8cc96edce734fea866ebe45a6d2
URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=46b65b88dd21a8cc96edce734fea866ebe45a6d2
Author: Roberto Bagnara <bagnara at 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>
More information about the PPL-devel
mailing list