名前: Okuda 日時: 2003-03-13 09:03:23 IPアドレス: 219.49.176.* >>17466 Gui-shell は 1.39.1 が最新ではないでしょうか。 これは、乙部さんの http://argent.shinshu-u.ac.jp/otobe/tex/index.html から、取得できます。
この書き込みへの返事：