名前: munepi 日時: 2006-09-23 18:38:14 IPアドレス: 133.82.132.* >>45021 はぁ、そうなんですか。修正するのはえらく面倒なのですね。 \DeclareOption{thmmarks}の中をいじってはいたのですが、 僕には、到底修正できそうにありません。 素人は、手を引くことに致します。
この書き込みへの返事：