The JavaHelp system used in UPPAAL has a search component. To make use of it, we need to index the help files. However, given the increased complexity of UPPAAL and thus the increased amount of documentation, it becomes more and more important that we use the search feature.
John I have assigned this bug to you, since you helped Paul writing the new documentation. Feel free to reassign it to Paul.
I will look into this.
John, did you make any progress on this issue? If possible, I would really really like to have in 3.6 final. It should not be so complex, as the search component is already part of JavaHelp. As far as I can see, the most complex part is to integrate some index generation phase into the compilation phase.
Implemented on the trunk from rev. 1797.