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

Bug 603

Summary:	Help system is broken
Product:	Web page	Reporter:	Yann Thierry-Mieg <yann.thierry-mieg>
Component:	Misc	Assignee:	Marius Mikučionis <marius>
Status:	RESOLVED FIXED
Severity:	critical	CC:	marius
Priority:	P5
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

Description Yann Thierry-Mieg 2015-12-07 16:25:21 CET

Cannot access the help system at url such as 
http://www.it.uu.se/research/group/darts/uppaal/help.php?file=WebHelp

Many links in the documentation section are broken too (the two first links in Documentation section)

Thanks

Comment 1 Marius Mikučionis 2019-10-21 10:23:03 CEST

Taking over this one.
The webhelp links has been fixed (long time ago).