Add proofreader's changes to docs.

HISTORY

doc/TODO

doc/TODO.detail/optimizer

doc/src/sgml/Makefile

doc/src/sgml/ref/allfiles.sgml

doc/src/sgml/ref/alter_table.sgml

doc/src/sgml/ref/copy.sgml

doc/src/sgml/ref/create_aggregate.sgml

doc/src/sgml/ref/create_database.sgml

doc/src/sgml/ref/create_function.sgml

doc/src/sgml/ref/create_index.sgml

doc/src/sgml/ref/create_language.sgml

doc/src/sgml/ref/create_rule.sgml

doc/src/sgml/ref/create_sequence.sgml

doc/src/sgml/ref/create_table.sgml

doc/src/sgml/ref/create_trigger.sgml

doc/src/sgml/ref/create_type.sgml

doc/src/sgml/ref/declare.sgml

doc/src/sgml/ref/drop_database.sgml

doc/src/sgml/ref/drop_operator.sgml