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, 20 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/stex.sty b/Master/texmf-dist/tex/latex/stex/stex.sty new file mode 100644 index 00000000000..518540f8bca --- /dev/null +++ b/Master/texmf-dist/tex/latex/stex/stex.sty @@ -0,0 +1,20 @@ +%% +%% 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'. |