summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/generic/tex4ht/proof.4ht
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-05-22 22:33:28 +0000
committerKarl Berry <karl@freefriends.org>2019-05-22 22:33:28 +0000
commit6b93973df611bbdfed5be166cfcbb6ba8738c986 (patch)
tree588e75ce9ff3a3a8930274ceffdf3221969fcece /Master/texmf-dist/tex/generic/tex4ht/proof.4ht
parentf929c20d33a17779b7d3f747774edd4082bdac44 (diff)
proof,bussproofs support, tex4ht r568-9
git-svn-id: svn://tug.org/texlive/trunk@51195 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/generic/tex4ht/proof.4ht')
-rw-r--r--Master/texmf-dist/tex/generic/tex4ht/proof.4ht28
1 files changed, 28 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/generic/tex4ht/proof.4ht b/Master/texmf-dist/tex/generic/tex4ht/proof.4ht
new file mode 100644
index 00000000000..43feec5323c
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/tex4ht/proof.4ht
@@ -0,0 +1,28 @@
+% proof.4ht (2019-05-22-15:29), generated from tex4ht-4ht.tex
+% Copyright 2019 TeX Users Group
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either
+% version 1.3c of this license or (at your option) any
+% later version. The latest version of this license is in
+% http://www.latex-project.org/lppl.txt
+% and version 1.3c or later is part of all distributions
+% of LaTeX version 2005/12/01 or later.
+%
+% This work has the LPPL maintenance status "maintained".
+%
+% The Current Maintainer of this work
+% is the TeX4ht Project <http://tug.org/tex4ht>.
+%
+% If you modify this program, changing the
+% version identification would be appreciated.
+\immediate\write-1{version 2019-05-22-15:29}
+
+\NewConfigure{infer}{2}
+\def\:temp[#1]#2#3{%
+\a:infer\o:@infer:[#1]{#2}{#3}\b:infer
+}
+\HLet\@infer\:temp
+\Hinput{proof}
+\endinput
+