Bruno Haible <[EMAIL PROTECTED]> writes: > The web interface for the history is also usable without prerequisite > knowledge; but it is not searchable.
The web interface is searchable. Type your search string into the box labeled "search:" and hit Enter. Click on the question mark for a description of the kinds of searches that are available. -- "If a person keeps faithfully busy each hour of the working day, he can count on waking up some morning to find himself one of the competent ones of his generation." --William James