K 10
svn:author
V 5
asami
K 8
svn:date
V 27
1996-11-11T08:52:24.000000Z
K 7
svn:log
V 94
Add jtex209-ascii, jtex209-both, jtex209-ntt.  Delete ptex, it is
obsoleted by jtex209-ascii.

END