antt 2.08

git-svn-id: svn://tug.org/texlive/trunk@3473 c570f23f-e606-0410-a88d-b1316a301751

3 files changed, 0 insertions, 616 deletions

diff --git a/Master/texmf-dist/tex/plain/antt/antt-math.tex b/Master/texmf-dist/tex/plain/antt/antt-math.tex
deleted file mode 100644
index 5f6575dd1cb..00000000000
--- a/Master/texmf-dist/tex/plain/antt/antt-math.tex
+++ /dev/null
@@ -1,271 +0,0 @@
-\catcode`@=11
-% roman text
-\font\seventeenrm=  rm-anttr at17.28pt
-\font\fourteenrm=   rm-anttr at14.4pt
-\font\twelverm=     rm-anttr at12pt
-\font\elevenrm=     rm-anttr at11pt
-\font\tenrm=        rm-anttr
-\font\ninerm=       rm-anttr at9pt
-\font\eightrm=      rm-anttr at8pt
-\font\sevenrm=      rm-anttr at7pt
-\font\sixrm=        rm-anttr at6pt
-\font\fiverm=       rm-anttr at5pt
-% math italic
-\font\seventeeni=   mi-anttri at17.28pt
-\font\fourteeni=    mi-anttri at14.4pt
-\font\twelvei=      mi-anttri at12pt
-\font\eleveni=      mi-anttri at11pt
-\font\teni=         mi-anttri
-\font\ninei=        mi-anttri at9pt
-\font\eighti=       mi-anttri at8pt
-\font\seveni=       mi-anttri at7pt
-\font\sixi=         mi-anttri at6pt
-\font\fivei=        mi-anttri at5pt
-% math symbols
-\font\seventeensy=  sy-anttrz at17.28pt
-\font\fourteensy=   sy-anttrz at14.4pt
-\font\twelvesy=     sy-anttrz at12pt
-\font\elevensy=     sy-anttrz at11pt
-\font\tensy=        sy-anttrz
-\font\ninesy=       sy-anttrz at9pt
-\font\eightsy=      sy-anttrz at8pt
-\font\sevensy=      sy-anttrz at7pt
-\font\sixsy=        sy-anttrz at6pt
-\font\fivesy=       sy-anttrz at5pt
-% math extension
-\font\seventeenex=  ex-anttr at17.28pt
-\font\fourteenex=   ex-anttr at14.4pt
-\font\twelveex=     ex-anttr at12pt
-\font\elevenex=     ex-anttr at11pt
-\font\tenex=        ex-anttr
-\font\nineex=       ex-anttr at9pt
-\font\eightex=      ex-anttr at8pt
-\font\sevenex=      ex-anttr at7pt
-\font\sixex=        ex-anttr at6pt
-\font\fiveex=       ex-anttr at5pt
-% boldface
-\font\seventeenbf=  qx-anttb at17.28pt
-\font\fourteenbf=   qx-anttb at14.4pt
-\font\twelvebf=     qx-anttb at12pt
-\font\elevenbf=     qx-anttb at11pt
-\font\tenbf=        qx-anttb
-\font\ninebf=       qx-anttb at9pt
-\font\eightbf=      qx-anttb at8pt
-\font\sevenbf=      qx-anttb at7pt
-\font\sixbf=        qx-anttb at6pt
-\font\fivebf=       qx-anttb at5pt
-% typewriter
-\font\seventeentt=  qx-lmtt12 at17.28pt
-\font\fourteentt=   qx-lmtt12 at14.4pt
-\font\twelvett=     qx-lmtt12
-\font\eleventt=     qx-lmtt10 at11pt
-\font\tentt=        qx-lmtt10
-\font\ninett=       qx-lmtt9
-\font\eighttt=      qx-lmtt8
-\font\seventt=      qx-lmtt8 at7pt
-\font\sixtt=        qx-lmtt8 at6pt
-\font\fivett=       qx-lmtt8 at5pt
-% text italic
-\font\seventeenit=  qx-anttri at17.28pt
-\font\fourteenit=   qx-anttri at14.4pt
-\font\twelveit=     qx-anttri at12pt
-\font\elevenit=     qx-anttri at11pt
-\font\tenit=        qx-anttri
-\font\nineit=       qx-anttri at9pt
-\font\eightit=      qx-anttri at8pt
-\font\sevenit=      qx-anttri at7pt
-\font\sixit=        qx-anttri at6pt
-\font\fiveit=       qx-anttri at5pt
-%
-\skewchar\seventeeni='177 \skewchar\fourteeni='177 \skewchar\twelvei='177
-\skewchar\eleveni='177 \skewchar\teni='177 \skewchar\ninei='177
-\skewchar\eighti='177 \skewchar\seveni='177 \skewchar\sixi='177
-\skewchar\fivei='177
-\skewchar\seventeensy='60 \skewchar\fourteensy='60 \skewchar\twelvesy='60
-\skewchar\elevensy='60 \skewchar\tensy='60 \skewchar\ninesy='60
-\skewchar\eightsy='60 \skewchar\sevensy='60 \skewchar\sixsy='60
-\skewchar\fivesy='60
-%
-\let\usereightpointmacro=\relax
-\def\eightpoint{\let\pointsize=\eightpoint
- \textfont0=\eightrm \scriptfont0=\sixrm \scriptscriptfont0=\fiverm
- \def\rm{\fam\z@\eightrm}%
- \textfont1=\eighti \scriptfont1=\sixi \scriptscriptfont1=\fivei
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eighti}%
- \textfont2=\eightsy \scriptfont2=\sixsy \scriptscriptfont2=\fivesy
- \def\cal{\fam\tw@}%
- \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
- \textfont\itfam=\eightit
- \def\it{\fam\itfam\eightit}%
- \textfont\bffam=\eightbf \scriptfont\bffam=\sixbf
- \scriptscriptfont\bffam=\fivebf
- \def\bf{\fam\bffam\eightbf}%
- \textfont\ttfam=\eighttt  \def\tt{\fam\ttfam\eighttt}%
- \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \usereightpointmacro}
-%
-\let\userninepointmacro=\relax
-\def\ninepoint{\let\pointsize=\ninepoint
- \textfont0=\ninerm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm
- \def\rm{\fam\z@\ninerm}%
- \textfont1=\ninei \scriptfont1=\seveni \scriptscriptfont1=\fivei
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\ninei}%
- \textfont2=\ninesy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
- \def\cal{\fam\tw@}%
- \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
- \textfont\itfam=\nineit
- \def\it{\fam\itfam\nineit}%
- \textfont\bffam=\ninebf \scriptfont\bffam=\sevenbf
- \scriptscriptfont\bffam=\fivebf
- \def\bf{\fam\bffam\ninebf}%
- \textfont\ttfam=\ninett  \def\tt{\fam\ttfam\ninett}%
- \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \userninepointmacro}
-%
-\let\usertenpointmacro=\relax
-\def\tenpoint{\let\pointsize=\tenpoint
- \textfont0=\tenrm \scriptfont0=\sevenrm \scriptscriptfont0=\fiverm
- \def\rm{\fam\z@\tenrm}%
- \textfont1=\teni \scriptfont1=\seveni \scriptscriptfont1=\fivei
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\teni}%
- \textfont2=\tensy \scriptfont2=\sevensy \scriptscriptfont2=\fivesy
- \def\cal{\fam\tw@}%
- \textfont3=\tenex \scriptfont3=\tenex \scriptscriptfont3=\tenex
- \textfont\itfam=\tenit
- \def\it{\fam\itfam\tenit}%
- \textfont\bffam=\tenbf \scriptfont\bffam=\sevenbf
- \scriptscriptfont\bffam=\fivebf
- \def\bf{\fam\bffam\tenbf}%
- \textfont\ttfam=\tentt  \def\tt{\fam\ttfam\tentt}%
- \def\big##1{{\hbox{$\left##1\vbox to8.5\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to11.5\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to14.5\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to17.5\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \usertenpointmacro}
-%
-\let\userelevenpointmacro=\relax
-\def\elevenpoint{\let\pointsize=\elevenpoint
- \textfont0=\elevenrm \scriptfont0=\eightrm \scriptscriptfont0=\fiverm
- \def\rm{\fam\z@\elevenrm}%
- \textfont1=\eleveni \scriptfont1=\eighti \scriptscriptfont1=\fivei
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\eleveni}%
- \textfont2=\elevensy \scriptfont2=\eightsy \scriptscriptfont2=\fivesy
- \def\cal{\fam\tw@}%
- \textfont3=\elevenex \scriptfont3=\elevenex \scriptscriptfont3=\elevenex%
- \textfont\itfam=\elevenit
- \def\it{\fam\itfam\elevenit}%
- \textfont\bffam=\elevenbf \scriptfont\bffam=\eightbf
- \scriptscriptfont\bffam=\fivebf
- \def\bf{\fam\bffam\elevenbf}%
- \textfont\ttfam=\eleventt  \def\tt{\fam\ttfam\eleventt}%
- \def\big##1{{\hbox{$\left##1\vbox to9.3\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to12.6\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to16\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to19.2\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \userelevenpointmacro}
-%
-\let\usertwelvepointmacro=\relax
-\def\twelvepoint{\let\pointsize=\twelvepoint
- \textfont0=\twelverm \scriptfont0=\ninerm \scriptscriptfont0=\sixrm
- \def\rm{\fam\z@\twelverm}%
- \textfont1=\twelvei \scriptfont1=\ninei \scriptscriptfont1=\sixi
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\twelvei}%
- \textfont2=\twelvesy \scriptfont2=\ninesy \scriptscriptfont2=\sixsy
- \def\cal{\fam\tw@}%
- \textfont3=\twelveex \scriptfont3=\twelveex \scriptscriptfont3=\twelveex%
- \textfont\itfam=\twelveit
- \def\it{\fam\itfam\twelveit}%
- \textfont\bffam=\twelvebf \scriptfont\bffam=\ninebf
- \scriptscriptfont\bffam=\sixbf
- \def\bf{\fam\bffam\twelvebf}%
- \textfont\ttfam=\twelvett  \def\tt{\fam\ttfam\twelvett}%
- \def\big##1{{\hbox{$\left##1\vbox to10.2\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to13.8\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to17.4\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to21\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \usertwelvepointmacro}
-%
-\let\userfourteenpointmacro=\relax
-\def\fourteenpoint{\let\pointsize=\fourteenpoint
- \textfont0=\fourteenrm \scriptfont0=\tenrm \scriptscriptfont0=\sevenrm
- \def\rm{\fam\z@\fourteenrm}%
- \textfont1=\fourteeni \scriptfont1=\teni \scriptscriptfont1=\seveni
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\fourteeni}%
- \textfont2=\fourteensy \scriptfont2=\tensy \scriptscriptfont2=\sevensy
- \def\cal{\fam\tw@}%
- \textfont3=\fourteenex \scriptfont3=\fourteenex \scriptscriptfont3=\fourteenex%
- \textfont\itfam=\fourteenit
- \def\it{\fam\itfam\fourteenit}%
- \textfont\bffam=\fourteenbf \scriptfont\bffam=\tenbf
- \scriptscriptfont\bffam=\sixbf
- \def\bf{\fam\bffam\fourteenbf}%
- \textfont\ttfam=\fourteentt  \def\tt{\fam\ttfam\fourteentt}%
- \def\big##1{{\hbox{$\left##1\vbox to11.9\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to16.1\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to20.3\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to24.5\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \userfourteenpointmacro}
-%
-\newcount\antttext \antttext=10
-\let\userseventeenpointmacro=\relax
-\def\seventeenpoint{\let\pointsize=\seventeenpoint
- \textfont0=\seventeenrm \scriptfont0=\twelverm \scriptscriptfont0=\ninerm
- \textfont1=\seventeeni \scriptfont1=\twelvei \scriptscriptfont1=\ninei
- \def\mit{\fam\@ne}\def\oldstyle{\fam\@ne\seventeeni}%
- \textfont2=\seventeensy \scriptfont2=\twelvesy \scriptscriptfont2=\ninesy
- \def\cal{\fam\tw@}%
- \textfont3=\seventeenex \scriptfont3=\seventeenex \scriptscriptfont3=\seventeenex%
- \textfont\itfam=\seventeenit
- \textfont\bffam=\seventeenbf \scriptfont\bffam=\twelvebf
- \scriptscriptfont\bffam=\ninebf
- \textfont\ttfam=\seventeentt
- \def\rm{\fam\z@\seventeenrm}%
- \def\bf{\fam\bffam\seventeenbf}%
- \def\it{\fam\itfam\seventeenit}%
- \def\tt{\fam\ttfam\seventeentt}%
- \def\big##1{{\hbox{$\left##1\vbox to15.3\p@{}\right.\n@space$}}}%
- \def\Big##1{{\hbox{$\left##1\vbox to20.7\p@{}\right.\n@space$}}}%
- \def\bigg##1{{\hbox{$\left##1\vbox to26.1\p@{}\right.\n@space$}}}%
- \def\Bigg##1{{\hbox{$\left##1\vbox to31.5\p@{}\right.\n@space$}}}%
- \setnormalsp@cing \userseventeenpointmacro}
-%
-\newtoks\baselinefactor \baselinefactor={1.2}
-\def\setnormalsp@cing{%
- \rm   % set the em properly
- \normalbaselineskip=\the\baselinefactor em\relax
- \normalbaselines
- \abovedisplayskip=1.2em plus .3em minus .9em%
- \abovedisplayshortskip=0em plus .3em%
- \belowdisplayskip=1.2em plus .3em minus .9em%
- \belowdisplayshortskip=.7em plus .3em minus .4em%
- \setbox\strutbox=\hbox{\vrule height .7\baselineskip
-                      depth .3\baselineskip width\z@}}
-%
-\mathchardef\equalleft="32CD
-\mathchardef\equalright="32CC
-\mathchardef\equalc="32CB
-\mathchardef\Rightarrow="32D1
-\mathchardef\Leftarrowj="32D0
-\mathchardef\minusleft="32C9
-\mathchardef\minusright="32CA
-\mathchardef\minusc="32C8
-\mathchardef\rightarrow="32CF
-\mathchardef\leftarrow="32CE
-\def\Longrightarrow{\equalleft\joinrel\Rightarrow}
-\def\Longleftarrow{\Leftarrowj\joinrel\equalright}
-\def\longrightarrow{\minusright\joinrel\rightarrow}
-\def\longleftarrow{\leftarrow\joinrel\minusleft}
-\def\rightarrowfill{$\m@th\minusright\mkern-7mu%
-  \cleaders\hbox{$\mkern-2mu\minusc\mkern-2mu$}\hfill
-  \mkern-7mu\mathord\rightarrow$}
-\def\leftarrowfill{$\m@th\mathord\leftarrow\mkern-7mu%
-  \cleaders\hbox{$\mkern-2mu\minusc\mkern-2mu$}\hfill
-  \mkern-7mu\minusleft$}
-\catcode`@=11
-\endinput
diff --git a/Master/texmf-dist/tex/plain/antt/ofs-8x.tex b/Master/texmf-dist/tex/plain/antt/ofs-8x.tex
deleted file mode 100644
index 9020181ad4f..00000000000
--- a/Master/texmf-dist/tex/plain/antt/ofs-8x.tex
+++ /dev/null
@@ -1,231 +0,0 @@
-% Encoding definition of fonts by Storm Type Foundry
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% May 2004                                Petr Olsak
-
-% This file declares "expert encoding" of AntykwaTorunska.
-
-% See stormtex.html and ofsdoc.tex manuals for more details.
-
-\protectreading ofs-8x.tex % This is part of OFS package
-
-\characterdef \minusalt   8x   1
-\characterdef \plusalt   8x   2
-\characterdef \equalalt   8x   3
-\characterdef \dividealt   8x   4
-\characterdef \multiplyalt   8x   5
-\characterdef \plusminusalt   8x   6
-\characterdef \minusplusalt   8x   7
-\characterdef \lessalt   8x   8
-\characterdef \greateralt   8x   9
-\characterdef \greaterequalaltpl   8x   10
-\characterdef \lessequalaltpl   8x   11
-\characterdef \textminusplus   8x   12
-\characterdef \textless   8x   13
-\characterdef \textgreater   8x   14
-\characterdef \textlessequal   8x   15
-\characterdef \textgreaterequal   8x   16
-\characterdef \lessequalalt   8x   17
-\characterdef \greaterequalalt   8x   18
-\characterdef \dotlessisuperior   8x   19
-\characterdef \onehalf   8x   20
-\characterdef \onequarter   8x   21
-\characterdef \onethird   8x   22
-\characterdef \oneeighth   8x   23
-\characterdef \threeeighths   8x   24
-\characterdef \fiveeighths   8x   25
-\characterdef \seveneighths   8x   26
-\characterdef \threequarters   8x   27
-\characterdef \twothirds   8x   28
-\characterdef \ligfj   8x   29
-\characterdef \ligffj   8x   30
-\characterdef \ligst   8x   33
-\characterdef \ligct   8x   34
-\characterdef \ligTh   8x   35
-\characterdef \dollarsuperior   8x   36
-\characterdef \parenleftsuperior   8x   40
-\characterdef \parenrightsuperior   8x   41
-\characterdef \commasuperior   8x   44
-\characterdef \hyphensuperior   8x   45
-\characterdef \periodsuperior   8x   46
-\characterdef \fraction   8x   47
-\characterdef \zerosuperior   8x   48
-\characterdef \onesuperior   8x   49
-\characterdef \twosuperior   8x   50
-\characterdef \threesuperior   8x   51
-\characterdef \foursuperior   8x   52
-\characterdef \fivesuperior   8x   53
-\characterdef \sixsuperior   8x   54
-\characterdef \sevensuperior   8x   55
-\characterdef \eightsuperior   8x   56
-\characterdef \ninesuperior   8x   57
-\characterdef \sterlingsuperior   8x   91
-\characterdef \yensuperior   8x   92
-\characterdef \dotaccentsuperior   8x   95
-\characterdef \asuperior   8x   97
-\characterdef \bsuperior   8x   98
-\characterdef \csuperior   8x   99
-\characterdef \dsuperior   8x   100
-\characterdef \esuperior   8x   101
-\characterdef \fsuperior   8x   102
-\characterdef \hsuperior   8x   104
-\characterdef \isuperior   8x   105
-\characterdef \lsuperior   8x   108
-\characterdef \msuperior   8x   109
-\characterdef \nsuperior   8x   110
-\characterdef \osuperior   8x   111
-\characterdef \rsuperior   8x   114
-\characterdef \ssuperior   8x   115
-\characterdef \tsuperior   8x   116
-\characterdef \centsuperior   8x   124
-\characterdef \florinsuperior   8x   125
-\characterdef \euro           8x   128
-\characterdef \eurosuperior   8x   129
-\characterdef \zeronumr   8x   130
-\characterdef \onenumr   8x   131
-\characterdef \twonumr   8x   132
-\characterdef \threenumr   8x   133
-\characterdef \fournumr   8x   134
-\characterdef \fivenumr   8x   135
-\characterdef \sixnumr   8x   136
-\characterdef \sevennumr   8x   137
-\characterdef \eightnumr   8x   138
-\characterdef \ninenumr   8x   139
-\characterdef \zerodnom   8x   140
-\characterdef \onednom   8x   141
-\characterdef \twodnom   8x   142
-\characterdef \threednom   8x   143
-\characterdef \fourdnom   8x   144
-\characterdef \fivednom   8x   145
-\characterdef \sixdnom   8x   146
-\characterdef \sevendnom   8x   147
-\characterdef \eightdnom   8x   148
-\characterdef \ninednom   8x   149
-\characterdef \zeroinferior   8x   150
-\characterdef \oneinferior   8x   151
-\characterdef \twoinferior   8x   152
-\characterdef \threeinferior   8x   153
-\characterdef \fourinferior   8x   154
-\characterdef \fiveinferior   8x   155
-\characterdef \sixinferior   8x   156
-\characterdef \seveninferior   8x   157
-\characterdef \eightinferior   8x   158
-\characterdef \nineinferior   8x   159
-\characterdef \equivasymptotic   8x   160
-\characterdef \equivalence   8x   161
-\characterdef \precedes   8x   162
-\characterdef \precedesequal   8x   163
-\characterdef \lessmuch   8x   164
-\characterdef \greatermuch   8x   165
-\characterdef \follows   8x   166
-\characterdef \followsequal   8x   167
-\characterdef \element   8x   168
-\characterdef \owner   8x   169
-\characterdef \propersubset   8x   170
-\characterdef \reflexsubset   8x   171
-\characterdef \propersuperset   8x   172
-\characterdef \reflexsuperset   8x   173
-\characterdef \arrowsouthwest   8x   174
-\characterdef \arrowsoutheast   8x   175
-\characterdef \arrownorthwest   8x   176
-\characterdef \arrownortheast   8x   177
-\characterdef \arrowleft   8x   178
-\characterdef \arrowright   8x   179
-\characterdef \arrowboth   8x   180
-\characterdef \arrowup   8x   181
-\characterdef \arrowdown   8x   182
-\characterdef \arrowdblleft   8x   183
-\characterdef \arrowdblright   8x   184
-\characterdef \arrowdblup   8x   185
-\characterdef \arrowdbldown   8x   186
-\characterdef \arrowdblboth   8x   187
-\characterdef \arrowlefttophalf   8x   188
-\characterdef \arrowrighttophalf   8x   189
-\characterdef \arrowleftbothalf   8x   190
-\characterdef \arrowrightbothalf   8x   191
-\characterdef \similar   8x   192
-\characterdef \asymptoticallyequal   8x   193
-\characterdef \union   8x   194
-\characterdef \intersection   8x   195
-\characterdef \unionmulti   8x   196
-\characterdef \unionsq   8x   197
-\characterdef \intersectionsq   8x   198
-\characterdef \subsetsqequal   8x   199
-\characterdef \supersetsqequal   8x   200
-\characterdef \openbullet   8x   201
-\characterdef \circleminus   8x   202
-\characterdef \circleplus   8x   203
-\characterdef \circledivide   8x   204
-\characterdef \circlemultiply   8x   205
-\characterdef \circledot   8x   206
-\characterdef \circlecopyrt   8x   207
-\characterdef \diamondmath   8x   208
-\characterdef \asteriskmath   8x   209
-\characterdef \latticetop   8x   210
-\characterdef \perpendicular   8x   211
-\characterdef \turnstileleft   8x   212
-\characterdef \turnstileright   8x   213
-\characterdef \floorleft   8x   214
-\characterdef \floorright   8x   215
-\characterdef \ceilingleft   8x   216
-\characterdef \ceilingright   8x   217
-\characterdef \textlangle   8x   218
-\characterdef \textrangle   8x   219
-\characterdef \dblverticalbar   8x   220
-\characterdef \arrowupdndbl   8x   221
-\characterdef \arrowupdn   8x   222
-\characterdef \universal   8x   223
-\characterdef \existential   8x   224
-\characterdef \wreathproduct   8x   225
-\characterdef \club   8x   226
-\characterdef \spade   8x   227
-\characterdef \heart   8x   228
-\characterdef \diamond   8x   229
-\characterdef \logicaland   8x   230
-\characterdef \logicalor   8x   231
-\characterdef \triangle   8x   232
-\characterdef \triangleinv   8x   233
-\characterdef \triangleright   8x   234
-\characterdef \triangleleft   8x   235
-\characterdef \proportional   8x   236
-\characterdef \arrowhookleft   8x   237
-\characterdef \arrowhookright   8x   238
-\characterdef \flat   8x   239
-\characterdef \vector   8x   240
-\characterdef \tie   8x   241
-\characterdef \nabla   8x   242
-\characterdef \dollarinferior   8x   243
-\characterdef \euroinferior   8x   244
-\characterdef \sterlinginferior   8x   245
-\characterdef \yeninferior   8x   246
-\characterdef \centinferior   8x   247
-\characterdef \parenleftinferior   8x   248
-\characterdef \periodinferior   8x   249
-\characterdef \hypheninferior   8x   250
-\characterdef \commainferior   8x   251
-\characterdef \parenrightinferior   8x   252
-\characterdef \trademark   8x   253
-\characterdef \estimated   8x   254
-
-\modifydef 8z:antt; {%
-   \characterdef \degree      8z  176
-   \characterdef \euro        8z  134
-   \characterdef \trademark   8z  136
-   \characterdef \copyright   8z  137
-   \characterdef \registered  8z  138
-   \characterdef \flq         8z  142
-   \characterdef \frq         8z  143
-   \characterdef \clq         8z  154
-   \characterdef \crq         8z  155
-   \characterdef \longs       8z  149
-   \characterdef \florin      8z  151
-   \accentdel  \c T      8z  222
-   \accentdel  \c t      8z  189   
-}
-
-
-
-
-
-
-
-
diff --git a/Master/texmf-dist/tex/plain/antt/pantyk.tex b/Master/texmf-dist/tex/plain/antt/pantyk.tex
deleted file mode 100644
index 6779777b5bc..00000000000
--- a/Master/texmf-dist/tex/plain/antt/pantyk.tex
+++ /dev/null
@@ -1,114 +0,0 @@
-% The file pantyk.tex (C) Petr Olsak, May 2004
-% Polish Antykwa ... OFS declaration file
-
-% After "\input pantyk", you can use
-%
-% \showfonts    ... to show the loaded fontfamilies on terminal
-% \fontusage    ... to show the usage of new TeX macros on terminal
-
-\ifx \ofsdeclarefamily\undefined    \input ofs      \fi
-\protectreading pantyk.tex % This is part of OFS package
-
-\ofsputfamlist {^^Jpantyk.tex:}
-
-\ofsdeclarefamily [AntykwaTorunska] {% --------------- AntykwaTorunska
-   \loadtextfam (Regular)    \nowackienc-anttr;%
-                (Bold)       \nowackienc-anttb;%
-                (Italic)     \nowackienc-anttri;%
-                (BoldItalic) \nowackienc-anttbi;8x;%
-   \newvariant0 \lr (Light)         \nowackienc-anttl;8x;%
-   \newvariant1 \li (LightItalic)   \nowackienc-anttli;8x;%
-   \newvariant2 \mr (Medium)        \nowackienc-anttm;8x;%
-   \newvariant3 \mi (MediumItalic)  \nowackienc-anttmi;8x;%
-   \modifyenc 8z:antt;%
-   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
-}
-\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
-\registerenc: 8a
-
-\ofsdeclarefamily [AntykwaTorunskaCaps] {% ------- AntykwaTorunskaCaps
-   \loadtextfam (Regular)    \nowackienc-anttrcap;%
-                (Bold)       \nowackienc-anttbcap;%
-                (Italic)     \nowackienc-anttricap;%
-                (BoldItalic) \nowackienc-anttbicap;8x;%
-   \newvariant0 \lr (Light)         \nowackienc-anttlcap;8x;%
-   \newvariant1 \li (LightItalic)   \nowackienc-anttlicap;8x;%
-   \newvariant2 \mr (Medium)        \nowackienc-anttmcap;8x;%
-   \newvariant3 \mi (MediumItalic)  \nowackienc-anttmicap;8x;%
-   \modifyenc 8z:antt;%
-   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
-}
-\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
-\registerenc: 8a
-
-\ofsdeclarefamily [AntykwaTorunskaCond] {% ------- AntykwaTorunskaCond
-   \loadtextfam (Regular)    \nowackienc-anttcr;%
-                (Bold)       \nowackienc-anttcb;%
-                (Italic)     \nowackienc-anttcri;%
-                (BoldItalic) \nowackienc-anttcbi;8x;%
-   \newvariant0 \lr (Light)         \nowackienc-anttcl;8x;%
-   \newvariant1 \li (LightItalic)   \nowackienc-anttcli;8x;%
-   \newvariant2 \mr (Medium)        \nowackienc-anttcm;8x;%
-   \newvariant3 \mi (MediumItalic)  \nowackienc-anttcmi;8x;%
-   \modifyenc 8z:antt;%
-   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
-}
-\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
-\registerenc: 8a
-
-\ofsdeclarefamily [AntykwaTorunskaCondCaps] {% ---- AntykwaTorunskaCondCaps
-   \loadtextfam (Regular)    \nowackienc-anttcrcap;%
-                (Bold)       \nowackienc-anttcbcap;%
-                (Italic)     \nowackienc-anttcricap;%
-                (BoldItalic) \nowackienc-anttcbicap;8x;%
-   \newvariant0 \lr (Light)         \nowackienc-anttclcap;8x;%
-   \newvariant1 \li (LightItalic)   \nowackienc-anttclicap;8x;%
-   \newvariant2 \mr (Medium)        \nowackienc-anttcmcap;8x;%
-   \newvariant3 \mi (MediumItalic)  \nowackienc-anttcmicap;8x;%
-   \modifyenc 8z:antt;%
-   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
-}
-\registerenc: 8t  \registerenc: 8z  \registerenc: 7k  \registerenc: 6w
-\registerenc: 8a
-
-% Janusz Nowacki use a non standard tfm names. We need
-% to define a conversion table:
-
-\def\nowackienc{\csname nowacki:\fotenc\endcsname}
-\expandafter \def \csname nowacki:8t\endcsname {ec}
-\expandafter \def \csname nowacki:8z\endcsname {cs}
-\expandafter \def \csname nowacki:6w\endcsname {1251}
-\expandafter \def \csname nowacki:7k\endcsname {wncyr}
-\expandafter \def \csname nowacki:8a\endcsname {texansi}
-\expandafter \def \csname nowacki:8x\endcsname {exp}
-
-% The expert fonts are the same for Caps and Normal:
-
-\registertfm exp-anttrcap  - exp-anttr
-\registertfm exp-anttbcap  - exp-anttb
-\registertfm exp-anttricap - exp-anttri
-\registertfm exp-anttbicap - exp-anttbi
-\registertfm exp-anttlcap  - exp-anttl
-\registertfm exp-anttlicap - exp-anttli
-\registertfm exp-anttmcap  - exp-anttm
-\registertfm exp-anttmicap - exp-anttmi
-
-\registertfm exp-anttcrcap  - exp-anttcr
-\registertfm exp-anttcbcap  - exp-anttcb
-\registertfm exp-anttcricap - exp-anttcri
-\registertfm exp-anttcbicap - exp-anttcbi
-\registertfm exp-anttclcap  - exp-anttcl
-\registertfm exp-anttclicap - exp-anttcli
-\registertfm exp-anttcmcap  - exp-anttcm
-\registertfm exp-anttcmicap - exp-anttcmi
-
-\ofsdeclarefamily [AntykwaPoltawskiego] {% --------------- AntykwaPoltawskiego
-   \loadtextfam (Regular)    antpr;%
-                (Bold)       antpb;%
-                (Italic)     antpri;%
-                (BoldItalic) antpbi;;%
-   \def\TeX{T\kern-.08em\lower.3333ex\hbox{E}\kern-0.09emX}%
-}
-\registerenc: 8t \registerenc: 8z
-
-\endinput