[PPL-devel] documentation and paper links

[Roberto Bagnara]

On 05/03/2018 04:01 PM, Wegscheider wrote:
> it seems like most links to documentation or paper files for ppl on your website just link back to the homepage. Is this intended?

Hi Fabian,

many thanks for the report.  Should be fixed now: can you
please retry and let us know?
Kind regards,

  Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2093 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20180504/721f3161/attachment.bin>