This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 651 - Dead documentation link
Summary: Dead documentation link
Status: ASSIGNED
Alias: None
Product: Web page
Classification: Unclassified
Component: Misc (show other bugs)
Version: unspecified
Hardware: PC All
: P5 minor
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2018-04-23 04:56 CEST by Arthur Milchior
Modified: 2019-10-24 11:18 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Arthur Milchior 2018-04-23 04:56:22 CEST 
Hello,

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.

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