Tips and help for search
How to search
Type one or more words into the search field and click the search button. The search result, a list of documents containing the search phrase, will be shown on a new page in a similar format to that used by popular search engines.
The search phrase
Searching for a single word sometimes result in a very long list of matching documents. To narrow down the list of results you can type more words as your search phrase.
You can use double quotation marks ("…") around your search phrase to match that exact phrase.
You can prefix a word or phrase with + or - respectively to indicate that a word or phrase should be included or excluded in the results.