summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/stex/stex.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/stex/stex.sty')
-rw-r--r--Master/texmf-dist/tex/latex/stex/stex/stex.sty27
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'.