1
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2
% amsthm.4ht 2005-03-27-10:43 %
3
% Copyright (C) 1997--2005 Eitan M. Gurari %
5
% This work may be distributed and/or modified under the %
6
% conditions of the LaTeX Project Public License, either %
7
% version 1.3 of this license or (at your option) any %
8
% later version. The latest version of this license is %
10
% http://www.latex-project.org/lppl.txt %
11
% and version 1.3 or later is part of all distributions %
12
% of LaTeX version 2003/12/01 or later. %
14
% This work has the LPPL maintenance status "maintained".%
16
% This Current Maintainer of this work %
17
% is Eitan M. Gurari. %
19
% If you modify this program your changing its signature %
20
% with a directive of the following form will be %
22
% \message{signature} %
24
% gurari@cse.ohio-state.edu %
25
% http://www.cse.ohio-state.edu/~gurari %
26
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
27
\immediate\write-1{version 2005-03-27-10:43}
31
\leavevmode\Picture+[Q.E.D.]{}\o:qedsymbol:\EndPicture
32
\SavePicture\qed:sym[Q.E.D.] }
34
\MathSymbol\mathop{qedsymbol}
37
\def\:temp{\ShowRefstepAnchor\o:@begintheorem:}
38
\HLet\@begintheorem\:temp
39
\ifx \deferred@thm@head\:UnDef\else
40
\expandafter\dth@everypar\expandafter{%
42
\edef\:temp{\the\ht:everypar}\ifx \:temp\empty
43
\ht:everypar{\HtmlPar}\ShowPar
46
\def\deferred@thm@head#1{%
47
\if@inlabel \indent \par \fi
49
\adjust@parskip@nobreak
51
\addpenalty\@beginparpenalty
53
\addvspace{-\parskip}%
56
\ht:everypar\dth@everypar
57
\let\sv:newtheorem=\b:newtheorem \let\b:newtheorem=\empty
59
\let\b:newtheorem=\sv:newtheorem \b:newtheorem \ignorespaces
65
\edef\:temp{\expandafter\eorem:syle \meaning\:temp!*?: }%
66
\expandafter\let\expandafter\@tmp:sv\csname th@\:temp\endcsname
68
\expandafter\append:def\csname th@##1\endcsname{%
69
\expandafter\let\csname th@##1\endcsname=\@tmp:sv
70
\let\thm:headnl=\thmheadnl
71
\pend:def\thmheadnl{\let\thmheadnl\thm:headnl \b:newtheorem}%
72
\append:def\thmheadnl{\expandafter
73
\ht:everypar\expandafter{\the\ht:everypar
74
\ht:everypar{\HtmlPar}}}}}%
75
\expandafter\:tempa\expandafter{\:temp}%
76
\let\sv:trivlist=\trivlist
77
\def\trivlist{\let\trivlist\sv:trivlist \let\sv:trivlist\:unDef
78
\a:newtheorem \trivlist}%
79
\aftergroup\c:newtheorem
84
\def\bgroup{\catcode`\\=0 \catcode`\t=11 }
90
/edef~{/def/noexpand/eorem:syle##1\th@##2 !*?: {##2}}
93
\long\def\:temp[#1]{\par\a:proof
94
\csname o:\string\proof :\endcsname[#1]\b:proof}
95
\expandafter\HLet\csname \string\proof \endcsname=\:temp
96
\append:def\endproof{\c:proof}
97
\NewConfigure{proof}{3}