名前: 角藤 日時: 2008-06-24 21:25:00 IPアドレス: 61.22.50.*
以前、Polish platex package の名前を polski に変更して いただきましたが、 CTAN/macros/latex/contrib/ に しばらくの間の互換性のため polski へのシンボリックリンク として platex なる名前が残っていました。これもようやく 消去していただきましたので、platex はやっと ASCII MEDIA WORKS (現在はこの名前らしい) の platex だけになったと思います。
この書き込みへの返事：