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

Bug 285 - Search feature for help system
Summary: Search feature for help system
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: Documentation (show other bugs)
Version: 3.6 Alpha 4
Hardware: All All
: P1 normal
Assignee: John Håkansson
Depends on:
Reported: 2006-03-04 16:27 CET by Gerd Behrmann
Modified: 2006-05-10 11:31 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
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.