Search the text of one version of DISL at a time. Each result names the section it is in.
Search needs scripting, which is off in this browser. Everything else here works without it: the table of contents, the glossary and the schema browser of DISL 0.8.
