Terminus tools

Global tools are those, which are called from the Terminus main menu bar ( Tools ). This version supports index services and topic translation. In addition, a search facility is provided in order to search topics by search words.