%% %% 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'.