Internal Help Error

The integrated help has an inconsistency. Valid entries are url pointers (http://www.uppaal.com) or internal help pointers.

The entry activated is invalid.

Please send a bug report to bug-uppaal@uppaal.com, precising the window title.