diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/stex/stex.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/stex/stex/stex.sty | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/stex/stex.sty b/Master/texmf-dist/tex/latex/stex/stex/stex.sty new file mode 100644 index 00000000000..8b4444e4665 --- /dev/null +++ b/Master/texmf-dist/tex/latex/stex/stex/stex.sty @@ -0,0 +1,27 @@ +%% +%% 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}[2016/04/07 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{statements} +\RequirePackage{structview} +\RequirePackage{sproof} +\RequirePackage{omdoc} +\RequirePackage{cmath} +\RequirePackage{dcm} +\endinput +%% +%% End of file `stex.sty'. |