After a bit more thought I think it might not be worth it to go through the
effort to make such radical changes to the documentation formatting.
I created two dummy links in the documentation directory to compare what would
be possible with the new additions (Noi1), and the way it would have to be
done with the current scheme (Noi2)
http://www.isi.edu/isd/Mastermind/Documentation/Noi1.html
http://www.isi.edu/isd/Mastermind/Documentation/Noi2.html
I agree that the page with the proposed additions would be better, but I
question whether it is worth the trouble.
In the one with the new additions (noi1) the attributes have subtitles that
allow to write paragraphs that refer to several attributes. In the otherone,
one has to write those paragraphs before the attribute listings.
What do you think?
Pedro Szekely
USC/ISI, 4676 Admiralty Way, Marina del Rey, CA 90292
Phone: 310/822-1511, Fax: 310/823-6714
URL: http://www.isi.edu/isd/szekely.html