Bug 651 - Dead documentation link
Summary: Dead documentation link
Status: NEW
Alias: None
Product: Web page
Classification: Unclassified
Component: Misc (show other bugs)
Version: unspecified
Hardware: PC All
: P5 minor
Assignee: John Håkansson
Depends on:
Reported: 2018-04-23 04:56 CEST by Arthur Milchior
Modified: 2018-04-23 04:56 CEST (History)
0 users

See Also:


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

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