summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/semantic
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-07-08 00:45:13 +0000
committerKarl Berry <karl@freefriends.org>2006-07-08 00:45:13 +0000
commitd3b974a90a027f4e3109e15c5412d8f83085c284 (patch)
tree56b6cf3b21ebb2884ae3a039887b184e080dc783 /Master/texmf-dist/tex/latex/semantic
parentc595c45087165b3b8ae636cfe06fed1e8585e51d (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')
-rw-r--r--Master/texmf-dist/tex/latex/semantic/infernce.sty22
-rw-r--r--Master/texmf-dist/tex/latex/semantic/ligature.sty10
-rw-r--r--Master/texmf-dist/tex/latex/semantic/reserved.sty4
-rw-r--r--Master/texmf-dist/tex/latex/semantic/semantic.sty30
-rw-r--r--Master/texmf-dist/tex/latex/semantic/shrthand.sty4
-rw-r--r--Master/texmf-dist/tex/latex/semantic/tdiagram.sty4
6 files changed, 52 insertions, 22 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&#2\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}