[PPL-devel] [GIT] ppl/w3ppl(master): Updated Pat's home page.

Roberto Bagnara bagnara at cs.unipr.it
Fri Nov 13 08:30:38 CET 2009


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

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Fri Nov 13 08:30:17 2009 +0100

Updated Pat's home page.

---

 htdocs/About/About.raw           |    6 +++---
 htdocs/Contribute/Contribute.raw |    2 +-
 htdocs/Credits/Credits.raw       |    4 ++--
 htdocs/seminars_2003_2004.raw    |    2 +-
 4 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/htdocs/About/About.raw b/htdocs/About/About.raw
index d79c341..cb8c39e 100644
--- a/htdocs/About/About.raw
+++ b/htdocs/About/About.raw
@@ -68,7 +68,7 @@ She worked on the documentation of the library.
 
 <P>
 Since the beginning of June 2001
-<A HREF="http://www.comp.leeds.ac.uk/hill/">Patricia M. Hill</A>
+<A HREF="http://www.cs.unipr.it/~hill/">Patricia M. Hill</A>
 joined the effort and has been, since then, part of the stable
 development team.
 
@@ -178,7 +178,7 @@ releases of the library.
 
 After investigating previous work on a domain called Z-polyhedra
 [<A HREF="@BASE_DIR at Documentation/bibliography#Ancourt91th">Anc91</A>],
-<A HREF = "http://www.comp.leeds.ac.uk/hill/">Pat Hill</A>
+<A HREF = "http://www.cs.unipr.it/~hill/">Patricia Hill</A>
 began a project aimed at the development of a domain of grids, a
 generalization of the well-known lattice domain.
 
@@ -187,7 +187,7 @@ In October 2003,
 <A HREF = "http://www.comp.leeds.ac.uk/katyd/">Katy Dobson</A>
 started work as a research student at the University of Leeds
 under the supervision of
-<A HREF = "http://www.comp.leeds.ac.uk/hill/">Pat Hill</A>
+<A HREF = "http://www.cs.unipr.it/~hill/">Patricia Hill</A>
 to work on the representation of the Grid Domain
 and algorithms needed for the main operators on this domain.
 
diff --git a/htdocs/Contribute/Contribute.raw b/htdocs/Contribute/Contribute.raw
index bb0cbf7..dc18070 100644
--- a/htdocs/Contribute/Contribute.raw
+++ b/htdocs/Contribute/Contribute.raw
@@ -188,7 +188,7 @@ progetto a Leeds sotto la direzione di Patricia Hill (vedi oltre).
 
 If you are a student of the University of Leeds and you think that a
 thesis or project may interest you, please get in touch with
-<A HREF="http://www.comp.leeds.ac.uk/hill/">Patricia M. Hill</A>.
+<A HREF="http://www.cs.unipr.it/~hill/">Patricia M. Hill</A>.
 If you would like to spend some time abroad, then why not consider a year
 in Parma?
 There is now an <EM>Erasmus</EM> link between the Universities of
diff --git a/htdocs/Credits/Credits.raw b/htdocs/Credits/Credits.raw
index 1994a42..a824435 100644
--- a/htdocs/Credits/Credits.raw
+++ b/htdocs/Credits/Credits.raw
@@ -20,8 +20,8 @@ maintained and improved by the following people:
     (University of Parma)
   </LI>
   <LI>
-    <A HREF="http://www.comp.leeds.ac.uk/hill/">Patricia M. Hill</A>
-    (University of Leeds)
+    <A HREF="http://www.cs.unipr.it/~hill/">Patricia M. Hill</A>
+    (University of Parma)
   </LI>
   <LI>
     <A HREF="http://www.cs.unipr.it/~zaffanella/">Enea Zaffanella</A>
diff --git a/htdocs/seminars_2003_2004.raw b/htdocs/seminars_2003_2004.raw
index 34f41af..5eda361 100644
--- a/htdocs/seminars_2003_2004.raw
+++ b/htdocs/seminars_2003_2004.raw
@@ -61,7 +61,7 @@ Convexity Recognition of the Union of Polyhedra</A></EM>.
 
 <DT>November 19, 2003</DT>
 <DD>
-<A HREF="http://www.comp.leeds.ac.uk/hill/">
+<A HREF="http://www.cs.unipr.it/~hill/">
   Dr. Patricia M. Hill</A><BR>
 <EM><A HREF="http://www.cs.unipr.it/Seminars/2003/PMHill20031119">
 Discrete Numerical Domains for the Analysis of Software</A></EM>.




More information about the PPL-devel mailing list