<html>
<body>
<h1>
Internal Help Error
</h1>

<p>
The integrated help has an inconsistency. Valid entries are
url pointers (http://www.uppaal.com) or internal help pointers.
<p>
The entry activated is invalid.
<p>
Please send a bug report to bug-uppaal@uppaal.com, precising the
window title.

</body>
</html>
