Commit 8728f294bcc5d424337e10b33d40077366c79c36

Werner Lemberg 2000-08-23T17:32:42

Formatting, small fixes. Adding copyright notices etc.