名前: 奥村晴彦 日時: 2001-06-07 16:27:32 IPアドレス: 210.236.186.* そうですね。Timesを自力で使えるようにするのはたいへんかもしれないので， 角藤さんの最近のもの（Ghostscriptも含めて）をインストールされることを おすすめします。dvioutも（もし古いのを使っておられるなら）最近のものに 変えられるほうがあとあと楽です。
この書き込みへの返事：