Re: WinShellのオプション設定

名前: SHIMA
日時: 2002-09-05 19:08:36
IPアドレス: 157.82.18.*

>>10659 > platex.exe > を検索してみるとどうも無いみたいです。ダウンロードしたと思ったんですが。 > どのサイトから落とせますか? どこから「ダウンロードした」と思ったのでしょうか? そこをチェックして見ては? なるべく同じ場所からダウンロードしたものを使うようにして、いろいろ混ぜない方が エラーなどで混乱が起こる可能性が少ないように思います。

この書き込みへの返事:

お名前
題名 
メッセージ(タグは <a href="...">...</a> だけ使えます)