|Summary:||Search feature for help system|
|Product:||UPPAAL||Reporter:||Gerd Behrmann <behrmann>|
|Component:||Documentation||Assignee:||John Håkansson <johnh>|
|Version:||3.6 Alpha 4|
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.