diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-22 22:33:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-22 22:33:28 +0000 |
commit | 6b93973df611bbdfed5be166cfcbb6ba8738c986 (patch) | |
tree | 588e75ce9ff3a3a8930274ceffdf3221969fcece /Master/texmf-dist/tex/generic/tex4ht/proof.4ht | |
parent | f929c20d33a17779b7d3f747774edd4082bdac44 (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.4ht | 28 |
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 + |