Bug 651

Summary: Dead documentation link
Product: Web page Reporter: Arthur Milchior <arthur>
Component: MiscAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: minor CC: marius
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: All   

Description Arthur Milchior 2018-04-23 04:56:22 CEST

On http://www.uppaal.org/ every links to Paul Petterson's website are dead. It seems his website is down (he probably moved to another faculty). This is a trouble for two reasons. This are the first two links on your documentation page. And it can not trivially be found on his new web page.

Arthur Milchior
Comment 1 Marius Mikučionis 2019-10-24 11:18:15 CEST
taking over, thanks for the report.