名前: トニイ＠FTEX 日時: 2003-05-06 12:22:09 IPアドレス: 219.99.199.* >>18535 tar.gz 及び tgz ファイルは，tar でファイルを束ねた後で gzip を用いて 圧縮されています。このファイルを入手して展開すれば中身が取り出せると思います。 その中に，たぶん ins と dtx ファイルがあるのでは？
この書き込みへの返事：