Module: ppl/w3ppl Branch: master Commit: 18526f9f157418ea582f686529c8d8f6baa82b53 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=18526f9f157...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jun 13 07:22:17 2009 +0200
Anchors fixed.
---
htdocs/Bugs/Bugs.raw | 2 +- htdocs/news.raw | 3 ++- htdocs/ppl.raw | 3 ++- 3 files changed, 5 insertions(+), 3 deletions(-)
diff --git a/htdocs/Bugs/Bugs.raw b/htdocs/Bugs/Bugs.raw index 48335c6..a74d9a8 100644 --- a/htdocs/Bugs/Bugs.raw +++ b/htdocs/Bugs/Bugs.raw @@ -15,7 +15,7 @@ by definition, not smart enough to debug it. <P> <FONT SIZE="+2">T</FONT>he PPL developers encourage you to report any bugs you find using the -<HREF="https://www.cs.unipr.it/mantis/%22%3Ebug tracking system</A>. +<A HREF="https://www.cs.unipr.it/mantis/">bug tracking system</A>. Here `bug' should be interpreted in its broadest sense: outright software errors, misfeatures, bad interfaces, missing or unclear documentation... whatever is a subject for possible improvement. diff --git a/htdocs/news.raw b/htdocs/news.raw index abf4d36..ec008fb 100644 --- a/htdocs/news.raw +++ b/htdocs/news.raw @@ -15,7 +15,8 @@ of the Parma Polyhedra Library. <STRONG>The PPL has now a bug tracking system</STRONG> <BR> We finally got round to setting up a - <HREF="https://www.cs.unipr.it/mantis/%22%3Ebug tracking system for the PPL</A>. + <A + HREF="https://www.cs.unipr.it/mantis/%22%3Ebug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it for communicating, commenting and keeping track of all PPL issues. </TD> diff --git a/htdocs/ppl.raw b/htdocs/ppl.raw index 65d53f2..b932c42 100644 --- a/htdocs/ppl.raw +++ b/htdocs/ppl.raw @@ -53,7 +53,8 @@ version 3</A> or any later version). <STRONG><FONT COLOR=red>The PPL has now a bug tracking system</FONT></STRONG> <BR> We finally got round to setting up a - <HREF="https://www.cs.unipr.it/mantis/%22%3Ebug tracking system for the PPL</A>. + <A + HREF="https://www.cs.unipr.it/mantis/%22%3Ebug tracking system for the PPL</A>. Users and developers are now strongly encouraged to use it for communicating, commenting and keeping track of all PPL issues. </TD>