名前: 奥村晴彦 日時: 2003-03-04 14:03:19 IPアドレス: 210.236.176.* >>17255 ほんとですね。core.ring.gr.jp にも ring.asahi-net.or.jp にもありません ね。これはたぶん ring が使っている CTAN サーバが問題なんでしょう。ちょっ と聞いてみます。
この書き込みへの返事：