[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