Documentation for the Gobo Eiffel Tools Library in HTML format.
Read `index.html' first.