8f0528bf · Make this reflect the remote document title. · Jul 06, 1997

087121f9 · Remove 1.3 IconWidth and IconHeight options from 1.2 docs. · Jul 05, 1997

6e390bf0 · Merge in all of the docs from HEAD, I'll clean it up a bit later. · Jun 27, 1997