Re: WinShellのオプション設定

名前: だいすけ
日時: 2002-09-05 16:59:51
IPアドレス: 210.154.173.*

platex.exe を検索してみるとどうも無いみたいです。ダウンロードしたと思ったんですが。 どのサイトから落とせますか? アドレスを教えてもらえないでしょうか?

この書き込みへの返事:

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