Mention Tex superscript font issue.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 Sep 2007 03:30:10 +0000 (03:30 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 Sep 2007 03:30:10 +0000 (03:30 +0000)
commit405b495fe82287baa5681108ad942c389cfae8da
tree8c5fccca58dbafa7e730ce15683fdaec39a8d92a
parent8b6f62fc57b6a5a7bce2ee8091561a68e0a91d65
Mention Tex superscript font issue.
etc/PROBLEMS