I have begun to study the structure of the Eiffel CMS/ROC application using the generated document rather than working from within the workbench.

I generated the flat forms of the classes.

My annoyance now is that when reading classes the important application stuff gets drowned out by the repetitive listing of features that are inherited from class ANY.

Please add an option to the documenter that features inherited from ANY can be suppressed (possibly with line at top as a reminder).

I don't know if helpful, but a little generalization would include a list of other classes one wishes to ignore at the time of generating documentation.

Of course these options also to be saved in the document profile suggested further up.