名前: 上村 日時: 2004-04-07 17:32:51 IPアドレス: 160.12.175.*
>>27919 私も一昨日、最新版をダウンロードしてインストールしてみましたが ptex.exe, platex.exe がインストールされませんでした。 texinst752(04/3/31) は ptex-3.1.3-w32.tar.gz(04/3/24) を 無視するようです。 ptex-3.1.2-w32.tar.gz に名前を替えたらOKでした。 texinst752.exe がまだ ptex-3.1.3 に対応していないのかも。
この書き込みへの返事：