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

Bug 651

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

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.