%% %% 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}[2019/03/20 v1.0 Semantic Markup] \DeclareOption*{\PassOptionsToPackage{\CurrentOption}{statements} \PassOptionsToPackage{\CurrentOption}{structview} \PassOptionsToPackage{\CurrentOption}{sproofs} \PassOptionsToPackage{\CurrentOption}{omdoc} \PassOptionsToPackage{\CurrentOption}{cmath} \PassOptionsToPackage{\CurrentOption}{dcm}} \ProcessOptions \RequirePackage{stex-logo} \RequirePackage{omdoc} \RequirePackage{statements} \RequirePackage{structview} \RequirePackage{sproof} \RequirePackage{cmath} \RequirePackage{dcm} \endinput %% %% End of file `stex.sty'.