summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/stex.sty
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/stex.sty')
-rw-r--r--Master/texmf-dist/tex/latex/stex/stex.sty22
1 files changed, 22 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..1e0dfee38aa
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/stex/stex.sty
@@ -0,0 +1,22 @@
+% sTeX: a package for semantic markup in LaTeX
+% Copyright (c) 2009 Michael Kohlhase, all rights reserved
+% this file is released under the
+% LaTeX Project Public License (LPPL)
+%
+% The development version of this file can be found at
+% $HeadURL: https://svn.kwarc.info/repos/stex/trunk/sty/stex.sty $
+\NeedsTeXFormat{LaTeX2e}[1999/12/01]
+\ProvidesPackage{stex}[2010/02/04 v0.9b Semantic Markup]
+% we pass the options to the appropriate packages
+\DeclareOption{extrefs}{\PassOptionsToPackage{\CurrentOption}{sref}}
+\ProcessOptions
+% now we require the respective packages.
+\RequirePackage{stex-logo}
+\RequirePackage{modules}
+\RequirePackage{omtext}
+\RequirePackage{statements}
+\RequirePackage{sproof}
+\RequirePackage{omdoc}
+\RequirePackage{presentation}
+\RequirePackage{dcm}
+