Commit 93ac3e398587c1a1e728e960588bce4378833835

Werner Lemberg 2000-07-10T21:41:32

Formatting. Synchronizing docs.