70.1 ProTex

<..ProTex.4ht..>
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % ProTex.4ht                            2014-07-12-22:36 %
 % Copyright (C) 2003--2009       Eitan M. Gurari         %
 <.TeX4ht copyright.>
 <.load protex.>
 <.config protex.>
 \if:latex <.latex protex.>\fi
 <.program ref protex.>
 \Hinput{ProTex}
 \endinput
 -_-_-

<..program ref protex..>
 \:CheckOption{prog-ref}\if:Option
    \let\oc:frag:href\frag:href
    \def\frag:href#1#2{%
        \expandafter \ifx \csname cw:ofile-#1\endcsname \relax
           \oc:frag:href{#1}{#2}%
        \else
           \HCode {<\tag:A \:newlnch \HREF:
              "\csname cw:ofile-#1\endcsname "#2>}%
        \fi }
    \let\oc:OutputCodE=\OutputCodE
    \def\OutputCodE\<#1\>{{%
       \Tag{ofile-)0Z:#1}{#1}%
       \let\OutputCode=\oc:OutputCode
       \oc:OutputCodE\<#1\>}}
    \let\oc:OutputCode=\OutputCode
    \def\OutputCode#1\<#2\>{%
       \def\foo##1[##2]##3//{##1.##2}%
       \Tag{ofile-)0Z:#2}{\foo#2#1[java]//}%
       \oc:OutputCode#1\<#2\>}
 \else
    \Log:Note{for pointers to code files from root fragments
        use the command line option ’prog-ref’}
 \fi
 -_-_-

<..load protex..>
 \let\c:ProTex:=\:UnDef
 \let\protex:sv\:RestoreCatcodes
 \let\protex:sav\:CheckOption
 \catcode‘\:=12
    \input ProTex.sty
    \expandafter\expandafter\expandafter\AlProTex
    \expandafter\expandafter\expandafter{\csname a:ProTex\endcsname}
 \catcode‘\:=11
 \let\:RestoreCatcodes\protex:sv
 \let\:CheckOption\protex:sav
 \def\:CheckProtexOption#1{
   \let\protex:sv=\Preamble
   \let\Preamble=\a:ProTex
   \:CheckOption{#1}
   \let\Preamble=\protex:sv
 }
 -_-_-

<..config protex..>
 \:CheckProtexOption{[[]]}\if:Option
     \NewConfigure{FrameCode}[2]{%
        \def\a:FrameCode{#1}\def\b:FrameCode{#2}%
        \def\:FrameCode##1{\ifvmode\vfill\break\fi
           \vtop{\a:FrameCode ##1\b:FrameCode}}}
 \fi
 -_-_-

<..config protex..>+
 \let\tivt:ModifyAppendCode=\ModifyAppendCode
 \def\ModifyAppendCode#1{%
    \tivt:ModifyAppendCode{#1}\a:ModifyAppendCode}
 \NewConfigure{ModifyAppendCode}[1]{%
    \concat:config\a:ModifyAppendCode{#1}}
 \Configure{ModifyAppendCode}{}
 -_-_-

<..config protex..>+
 \let\tivt:ModifyOutputCode=\ModifyOutputCode
 \def\ModifyOutputCode#1{\tivt:ModifyOutputCode{#1}%
    \pend:def\ProTexMssg{\Configure{Needs}{File: \:FileName}\Needs{}}%
    \a:ModifyOutputCode
 }
 \NewConfigure{ModifyOutputCode}[1]{%
    \concat:config\a:ModifyOutputCode{#1}}
 \Configure{ModifyOutputCode}{}
 -_-_-

<..config protex..>+
 \let\tivt:ModifyShowCode=\ModifyShowCode
 \def\ModifyShowCode#1{\tivt:ModifyShowCode{#1}\a:ModifyShowCode}
 \NewConfigure{ModifyShowCode}[1]{%
    \concat:config\a:ModifyShowCode{#1}}
 \Configure{ModifyShowCode}{}
 -_-_-

<..latex protex..>
 \AtBeginDocument{\let\la:ref=\ref}
 \Configure{ModifyAppendCode}
      {\let\ref\relax}
 \Configure{ModifyShowCode}
      {\let\ref\prtx:ref}
 \catcode‘\(=1
 \catcode‘\)=2
 \catcode‘\{=12
 \catcode‘\}=12
 \def\prtx:ref#1{#2}(\la:ref(#2))
 \catcode‘\(=12
 \catcode‘\)=12
 \catcode‘\{=1
 \catcode‘\}=2
 -_-_-

<..config protex..>+
 \def\frnt:ttl#1{{\parindent=0pt \htmlprotex:par
       {\expandafter\ifx \csname ListCounter\endcsname\relax
          \else  \:removeindentfalse \fi   \leavevmode}%
       \PortTitle{#1}\:AppendSign}\a:protex
     }
 -_-_-