Module: ppl/w3ppl Branch: master Commit: cadd225c086b58ed038ff25ba0c4d10f55bea374 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/w3ppl.git;a=commit;h=cadd225c086... Author: Roberto Bagnara <bagnara@cs.unipr.it> Date: Wed Aug 4 14:51:47 2010 +0200 Missing label added. --- htdocs/Documentation/papers.raw | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/htdocs/Documentation/papers.raw b/htdocs/Documentation/papers.raw index bf72d12..24efded 100644 --- a/htdocs/Documentation/papers.raw +++ b/htdocs/Documentation/papers.raw @@ -203,7 +203,7 @@ and software systems (including the analysis of imperative programs). <TR valign="top"> <TD align="right"> -[<A HREF="http://www.cs.unipr.it/ppl/Documentation/BagnaraMPZ10TR"></A>] +[<A HREF="http://www.cs.unipr.it/ppl/Documentation/BagnaraMPZ10TR">BMPZ10</A>] </TD> <TD> R. Bagnara, F. Mesnard, A. Pescetti, and E. Zaffanella.