K 10
svn:author
V 6
emaste
K 8
svn:date
V 27
2010-07-16T17:01:36.821743Z
K 7
svn:log
V 230
Rename documentation source files to avoid filesystem case and restricted
filename issues when checking out the source on other operating systems.

I've verified the generated paper.ascii is identical before and after the
change.

END