[tex4ht-commits] [SCM] tex4ht updated: r569 - trunk/lit
michal_h21 at gnu.org.ua
michal_h21 at gnu.org.ua
Wed May 22 14:41:27 CEST 2019
Author: michal_h21
Date: 2019-05-22 15:41:27 +0300 (Wed, 22 May 2019)
New Revision: 569
Modified:
trunk/lit/ChangeLog
trunk/lit/Makefile
trunk/lit/mktex4ht-cnf.tex
trunk/lit/tex4ht-4ht.tex
trunk/lit/tex4ht-html4.tex
Log:
Added support for the proof package
Modified: trunk/lit/ChangeLog
===================================================================
--- trunk/lit/ChangeLog 2019-05-22 12:24:07 UTC (rev 568)
+++ trunk/lit/ChangeLog 2019-05-22 12:41:27 UTC (rev 569)
@@ -2,6 +2,8 @@
* tex4ht-4ht.tex (bussproofs.4ht),
tex4ht-html4.tex (html4.4ht): added support for the bussproofs package.
+ * tex4ht-4ht.tex (proof.4ht),
+ tex4ht-html4.tex (html4.4ht): added support for the proof package.
2019-05-20 Michal Hoftich <michal.h21 at gmail.com>
Modified: trunk/lit/Makefile
===================================================================
--- trunk/lit/Makefile 2019-05-22 12:24:07 UTC (rev 568)
+++ trunk/lit/Makefile 2019-05-22 12:41:27 UTC (rev 569)
@@ -53,7 +53,7 @@
latex.4ht lettrine.4ht listings.4ht \
magyar.4ht mdframed.4ht memoir.4ht multicol.4ht multirow.4ht \
nameref.4ht \
- pstricks.4ht \
+ proof.4ht pstricks.4ht \
quoting.4ht \
reading.4ht \
scrartcl.4ht scrbook.4ht scrreprt.4ht scrjura.4ht sectionbreak.4ht \
Modified: trunk/lit/mktex4ht-cnf.tex
===================================================================
--- trunk/lit/mktex4ht-cnf.tex 2019-05-22 12:24:07 UTC (rev 568)
+++ trunk/lit/mktex4ht-cnf.tex 2019-05-22 12:41:27 UTC (rev 569)
@@ -52,6 +52,7 @@
\AddFile{8}{theorem}
\AddFile{8}{ntheorem}
\AddFile{8}{bussproofs}
+\AddFile{8}{proof}
\AddFile{9}{wrapfig}
\AddFile{9}{subscript}
\AddFile{9}{subfigure}
Modified: trunk/lit/tex4ht-4ht.tex
===================================================================
--- trunk/lit/tex4ht-4ht.tex 2019-05-22 12:24:07 UTC (rev 568)
+++ trunk/lit/tex4ht-4ht.tex 2019-05-22 12:41:27 UTC (rev 569)
@@ -9998,7 +9998,7 @@
\<bussproofs.4ht\><<<
% bussproofs.4ht (|version), generated from |jobname.tex
-% Copyright 2017 TeX Users Group
+% Copyright 2019 TeX Users Group
|<TeX4ht license text|>
\NewConfigure{DisplayProof}{2}
@@ -10011,6 +10011,23 @@
>>> \AddFile{8}{bussproofs}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+\Section{proof}
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\<proof.4ht\><<<
+% proof.4ht (|version), generated from |jobname.tex
+% Copyright 2019 TeX Users Group
+|<TeX4ht license text|>
+\NewConfigure{infer}{2}
+\def\:temp[#1]#2#3{%
+\a:infer\o:@infer:[#1]{#2}{#3}\b:infer
+}
+\HLet\@infer|=\:temp
+\Hinput{proof}
+\endinput
+>>> \AddFile{8}{proof}
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\Chapter{Sectioning Commands}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Modified: trunk/lit/tex4ht-html4.tex
===================================================================
--- trunk/lit/tex4ht-html4.tex 2019-05-22 12:24:07 UTC (rev 568)
+++ trunk/lit/tex4ht-html4.tex 2019-05-22 12:41:27 UTC (rev 569)
@@ -19987,6 +19987,12 @@
\Configure{DisplayProof}{\Picture*{}}{\EndPicture}
>>>
+\section{proof}
+
+\<configure html4 proof\><<<
+\Configure{infer}{\Picture*{}}{\EndPicture}
+>>>
+
\section{hyperref}
\<config hyperref form 4\><<<
More information about the tex4ht-commits
mailing list