Index of /info/symbols/text
      Name                    Last modified       Size  Description

[DIR] Parent Directory 26-Jun-2020 15:37 - [   ] textcomptst.dvi 28-Aug-2000 16:08 7k [   ] textcomptst.ps 28-Aug-2000 16:08 120k [TXT] textcomptst.tex 28-Aug-2000 16:07 4k