diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/stex.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/stex/stex.sty | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/stex.sty b/Master/texmf-dist/tex/latex/stex/stex.sty deleted file mode 100644 index 518540f8bca..00000000000 --- a/Master/texmf-dist/tex/latex/stex/stex.sty +++ /dev/null @@ -1,20 +0,0 @@ -%% -%% This is file `stex.sty', -%% generated with the docstrip utility. -%% -%% The original source files were: -%% -%% stex.dtx (with options: `package') -%% -\NeedsTeXFormat{LaTeX2e}[1999/12/01] -\ProvidesPackage{stex}[2006/01/13 v0.9a Semantic Markup] -\def\stex{{\raisebox{-.5ex}S\kern-.5ex\TeX}} -\def\sTeX{\stex} -\usepackage{modules} -\usepackage{statements} -\usepackage{sproof} -\usepackage{omdoc} -\usepackage{presentation} -\endinput -%% -%% End of file `stex.sty'. |