diff options
author | Karl Berry <karl@freefriends.org> | 2006-07-08 00:45:13 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-07-08 00:45:13 +0000 |
commit | d3b974a90a027f4e3109e15c5412d8f83085c284 (patch) | |
tree | 56b6cf3b21ebb2884ae3a039887b184e080dc783 /Master/texmf-dist/tex/latex/semantic/infernce.sty | |
parent | c595c45087165b3b8ae636cfe06fed1e8585e51d (diff) |
semantic update needed from 2002, from kaja
git-svn-id: svn://tug.org/texlive/trunk@1783 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/semantic/infernce.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/semantic/infernce.sty | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/Master/texmf-dist/tex/latex/semantic/infernce.sty b/Master/texmf-dist/tex/latex/semantic/infernce.sty index bb5b3230173..6e1f005938f 100644 --- a/Master/texmf-dist/tex/latex/semantic/infernce.sty +++ b/Master/texmf-dist/tex/latex/semantic/infernce.sty @@ -20,6 +20,10 @@ %% original source files, as listed above, are part of the %% same distribution. (The sources need not necessarily be %% in the same archive or directory.) +%% +%% semantic.dtx (c)1995--2002 Peter Møller Neergaard and +%% Arne John Glenstrup +%% \expandafter\ifx\csname sem@nticsLoader\endcsname\relax \PackageError{semantic}{% This file should not be loaded directly} @@ -103,9 +107,9 @@ \hbox{\hskip\@@pEnd \predicate{\ignorespaces#1}\unskip\hskip\@@pEnd}% \setbox1=\hbox{$ $}% \setbox\@@pBox=\vtop{\unvbox\@@pBox - \vskip 4\fontdimen8\textfont3}% + \vskip 4\fontdimen8\textfont3}% \setbox\@@cBox=\vbox{\vskip 4\fontdimen8\textfont3% - \box\@@cBox}% + \box\@@cBox}% \if@@shortDivider \ifdim\wd\@@pBox >\wd\@@cBox% \dimen1=\wd\@@pBox% @@ -169,25 +173,25 @@ \fi % \setbox\@@pBox=\vbox{\box\@@pLineBox\unvbox\@@pBox}% \fi % - \def\@temp{#2}% - \ifx \@temp\empty \else % + \def\sem@tmp{#2}% + \ifx \sem@tmp\empty \else % \@ReturnAfterFi{% \@processPremises #2\end % }% \fi% } \def\@processPremiseLine#1\end{% - \def\@temp{#1}% - \ifx \@temp\empty \else% - \ifx \@temp\@@space \else% + \def\sem@tmp{#1}% + \ifx \sem@tmp\empty \else% + \ifx \sem@tmp\@@space \else% \setbox\@@pLineBox=% \hbox{\unhbox\@@pLineBox% \@inferenceOrPremis #1\inference\end% \hskip\@@pSpace}% \fi% \fi% - \def\@temp{#2}% - \ifx \@temp\empty \else% + \def\sem@tmp{#2}% + \ifx \sem@tmp\empty \else% \@ReturnAfterFi{% \@processPremiseLine#2\end% }% |