名前: 前田 日時: 2002-07-16 15:09:18 IPアドレス: 133.5.144.* >>9505 早速のご回答，ありがとうございました． ご指示の方法で，txfonts使用時にもうまくpdfファイルが作成できるようです． しかし，いろいろ試してみましたが， dvioutからの印刷に比べて，dvipsk + distiller で作ったpdfファイルは， 全体がわずかながら縮小されて印刷され，両者に微妙な違いが出ます．
この書き込みへの返事：