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

Bug 285

Summary: Search feature for help system
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: DocumentationAssignee: John HÃ¥kansson <johnh>
Severity: normal    
Priority: P1    
Version: 3.6 Alpha 4   
Hardware: All   
OS: All   

Description Gerd Behrmann 2006-03-04 16:27:04 CET
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.
Comment 1 John HÃ¥kansson 2006-03-07 17:25:23 CET
I will look into this.
Comment 2 Gerd Behrmann 2006-05-07 13:02:10 CEST
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.
Comment 3 Gerd Behrmann 2006-05-10 11:31:17 CEST
Implemented on the trunk from rev. 1797.