tds 0.100

K. Berry
Wed, 18 Oct 1995 10:31:39 -0400

    Hm.  I hadn't considered that.  I figured the // would stick around from the
    TEXFONTS variable.  Actually, I still prefer only /.  To use LaTeX as an

I think it's not worth debating the syntactic details of a hypothetical
feature :-). I'll try to write something nonspecific that gets the point

Thanks for the clarifications.