名前: 本田 日時: 2006-09-23 18:29:38 IPアドレス: 222.158.121.*
>>45020 一言でいえば「仕様」というかバグというか \begin{prf}hoge\end{prf} でも証明終わりのマークはでません． 要は，prf環境の中身が (1)水平モードで終わる (2)\lastskipが0より大 というときのみマークがつきます したがって， \begin{prf} あいう\ \end{prf} でも可です このパッケージ・・・きわめて「アレ」な実装で \DeclareOptionの中で それぞれのオプションに関係するマクロ類を全部定義しています したがって，修正を施そうとすると・・ えらく面倒なことになります． ちなみに，今回の問題では \DeclareOption{thmmarks}の中の \@endtrivlistの定義の中の \ifhmode \ifdim\lastskip>\z@ #1\unskip\par\else \unskip\par\fi .... みたいなところを直せばいいのですが そもそも何でこんな処理をしてるのか 意図がまるで分かりません． ＃ドキュメントも何も見てないので ＃どこかに書いてあるのかもしれませんが．
この書き込みへの返事：