[PPL-devel] [GIT] ppl/ppl(master): Added a missing project and updated a broken link.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: acadcd82f6c200e12723630c950ac7c279f4ceca
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=acadcd82f6c200e12723630c950ac7c279f4ceca

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Tue Feb 28 11:46:39 2012 +0100

Added a missing project and updated a broken link.

---

 CREDITS |   16 ++++++++++------
 1 files changed, 10 insertions(+), 6 deletions(-)

diff --git a/CREDITS b/CREDITS
index fe664a0..82b9bf7 100644
--- a/CREDITS
+++ b/CREDITS
@@ -350,17 +350,20 @@ projects and organizations:
 - PRIN project ``AIDA 2007 - Abstract Interpretation: Design and
   Applications'' [62];
 
+- Integrated Action Italy-Spain 2001-2002 ``Advanced Development Environments
+  for Logic Programs'' [63];
+
 - Royal Society Joint project 2004/R1-EU (UK-Italy)
   ``Automatic Detection of Unstable Numerical Computations'';
 
 - EPSRC (UK) project EP/C520726/1
-  ``Numerical Domains for Software Analysis'' [63];
+  ``Numerical Domains for Software Analysis'' [64];
 
 - Royal Society International Outgoing Short Visit 2007/R4
-  ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [64];
+  ``Finding and Verifying the Absence of Bugs in Imperative Programs'' [65];
 
 - EPSRC (UK) project EP/G025177/1
-  ``Geometric Abstractions for Scalable Program Analyzers'' [64].
+  ``Geometric Abstractions for Scalable Program Analyzers'' [65].
 
 --------
 
@@ -368,7 +371,7 @@ projects and organizations:
  [2] http://www.comp.leeds.ac.uk/hill/
  [3] http://www.cs.unipr.it/~zaffanella/
  [4] http://www.math.unipr.it/~zaccagni/
- [5] http://www.prism.uvsq.fr/~fgalea/
+ [5] http://fgalea.free.fr/
  [6] http://www.mundell.ukfsn.org/
  [7] http://www.lsi.upc.edu/~erodri/
  [8] http://www.irisa.fr/lande/fbesson/fbesson.html
@@ -426,5 +429,6 @@ projects and organizations:
 [60] http://www.disi.unige.it/person/DelzannoG/cover/
 [61] http://www.cs.unipr.it/Projects/AIDA/
 [62] http://www.cs.unipr.it/Projects/AIDA2007/
-[63] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
-[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html
+[63] http://www.cs.unipr.it/Projects/AzInt2001-2002Sp
+[64] http://www.comp.leeds.ac.uk/hill/chiara/WWW/linda.html
+[65] http://www.comp.leeds.ac.uk/hill/chiara/WWW/projects.html