[tex4ht-commits] [SCM] tex4ht updated: r569 - trunk/lit

[michal_h21 at gnu.org.ua]

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\><<<