K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2013-05-11T19:27:41.669984Z
K 7
svn:log
V 34
Use USE_TEX.

Spotted by:	stephen

END