18 years ago rsc
fmt changes from Google
19 years ago wkj
Formatting nits.
19 years ago rsc
clean up for unix port
20 years ago rsc
Move utf, fmt. Small header file changes.