From d3b974a90a027f4e3109e15c5412d8f83085c284 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sat, 8 Jul 2006 00:45:13 +0000 Subject: semantic update needed from 2002, from kaja git-svn-id: svn://tug.org/texlive/trunk@1783 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/latex/semantic/infernce.sty | 22 ++++++++++------- Master/texmf-dist/tex/latex/semantic/ligature.sty | 10 +++++--- Master/texmf-dist/tex/latex/semantic/reserved.sty | 4 +++ Master/texmf-dist/tex/latex/semantic/semantic.sty | 30 +++++++++++++++-------- Master/texmf-dist/tex/latex/semantic/shrthand.sty | 4 +++ Master/texmf-dist/tex/latex/semantic/tdiagram.sty | 4 +++ 6 files changed, 52 insertions(+), 22 deletions(-) (limited to 'Master/texmf-dist/tex/latex/semantic') 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% }% diff --git a/Master/texmf-dist/tex/latex/semantic/ligature.sty b/Master/texmf-dist/tex/latex/semantic/ligature.sty index 324d6605790..619548286dc 100644 --- a/Master/texmf-dist/tex/latex/semantic/ligature.sty +++ b/Master/texmf-dist/tex/latex/semantic/ligature.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} @@ -43,7 +47,7 @@ \TestForConflict{\mathligsoff,\mathligson,\@startmathlig,\@pushedtoks} \newif\if@mathligon \DeclareRobustCommand\mathlig[1]{\@addligtolists#1\@@ - \if@mathligon\mathligon\fi + \if@mathligon\mathligson\fi \@setupfirstligchar#1\@@ \@defligstep{}#1\@@} \def\@mathligson{\if@mathligon\mathligson\fi} @@ -138,8 +142,8 @@ \def\@try@mathlig#1{%\typeout{char: #1 catcode: \the\catcode`#1 \@ifundefined{@mathlig\the\@seentoks#1}{\@exitmathlig{#1}}% {\expandafter\ifx - \csname @mathlig\the\@seentoks#1\endcsname - \@mathliglink + \csname @mathlig\the\@seentoks#1\endcsname + \@mathliglink \expandafter\@pushedtoks \expandafter=\expandafter{\the\@pushedtoks#1}% \else diff --git a/Master/texmf-dist/tex/latex/semantic/reserved.sty b/Master/texmf-dist/tex/latex/semantic/reserved.sty index 86901880c3f..ce216dfeb7c 100644 --- a/Master/texmf-dist/tex/latex/semantic/reserved.sty +++ b/Master/texmf-dist/tex/latex/semantic/reserved.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} diff --git a/Master/texmf-dist/tex/latex/semantic/semantic.sty b/Master/texmf-dist/tex/latex/semantic/semantic.sty index 5480d22bccb..3d3fd33baa6 100644 --- a/Master/texmf-dist/tex/latex/semantic/semantic.sty +++ b/Master/texmf-dist/tex/latex/semantic/semantic.sty @@ -20,9 +20,17 @@ %% 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 +%% \NeedsTeXFormat{LaTeX2e} +\newcommand{\semanticVersion}{2.0(epsilon)} +\newcommand{\semanticDate}{2003/10/28} \ProvidesPackage{semantic} - [2000/08/03 v2.0(gamma) Semantic Package] + [\semanticDate\space v\semanticVersion\space] +\typeout{Semantic Package v\semanticVersion\space [\semanticDate]} +\typeout{CVSId: $Id: semantic.dtx,v 1.11 2003/10/28 13:45:57 turtle Exp $} \newcounter{@@conflict} \newcommand{\@semanticNotDefinable}{% \typeout{Command \@backslashchar\reserved@a\space already defined} @@ -31,12 +39,14 @@ \let\@oldNotDefinable=\@notdefinable \let\@notdefinable=\@semanticNotDefinable \newcommand{\TestForConflict}{} -\def\TestForConflict#1{\@test #1,,} -\newcommand{\@test}{} \newcommand{\@temp}{} \newcommand{\@@next}{} -\def\@test#1,{% - \def\@temp{#1}% - \ifx \@temp\empty \let\@@next=\relax \else - \@ifdefinable{#1}{} \let\@@next=\@test \fi +\def\TestForConflict#1{\sem@test #1,,} +\newcommand{\sem@test}{} +\newcommand{\sem@tmp}{} +\newcommand{\@@next}{} +\def\sem@test#1,{% + \def\sem@tmp{#1}% + \ifx \sem@tmp\empty \let\@@next=\relax \else + \@ifdefinable{#1}{} \let\@@next=\sem@test \fi \@@next} \TestForConflict{\@inputLigature,\@inputInference,\@inputTdiagram} \TestForConflict{\@inputReservedWords,\@inputShorthand} @@ -61,7 +71,7 @@ \DeclareOption{shorthand}{\@ddInput\@inputLigature \@ddInput\@inputShorthand} \ProcessOptions* -\message{Semantic Package.^^JLoading} +\typeout{Loading features: } \def\sem@nticsLoader{} \edef\lo@d{\the\toks1} \ifx\lo@d\empty @@ -73,7 +83,7 @@ \else \lo@d \fi -\message{and general definitions.^^J} +\typeout{and general definitions.^^J} \let\@ddInput\relax \let\@inputInference\relax \let\@inputLigature\relax @@ -115,7 +125,7 @@ \let\@oldNotDefinable=\relax \let\TestForConflict=\relax \let\@endmark=\relax -\let\@test=\relax +\let\sem@test=\relax \newdimen\@@maxwidth \newbox\@@pLineBox \newbox\@@cBox diff --git a/Master/texmf-dist/tex/latex/semantic/shrthand.sty b/Master/texmf-dist/tex/latex/semantic/shrthand.sty index 2f9f3921fea..25e0120063c 100644 --- a/Master/texmf-dist/tex/latex/semantic/shrthand.sty +++ b/Master/texmf-dist/tex/latex/semantic/shrthand.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} diff --git a/Master/texmf-dist/tex/latex/semantic/tdiagram.sty b/Master/texmf-dist/tex/latex/semantic/tdiagram.sty index 971ecdfde5d..b0479f7595a 100644 --- a/Master/texmf-dist/tex/latex/semantic/tdiagram.sty +++ b/Master/texmf-dist/tex/latex/semantic/tdiagram.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} -- cgit v1.2.3