summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/stex.sty
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-07-19 23:16:46 +0000
committerKarl Berry <karl@freefriends.org>2010-07-19 23:16:46 +0000
commit277ca449c86a187fe858defdcd6aa1830d3b2d0d (patch)
treea804dd4e397504655fc225e6f582554780c4115d /Master/texmf-dist/tex/latex/stex/stex.sty
parentd515f1120311798486a522c56170bd519d9c6a7a (diff)
reinstate stex via new .tds.zip
git-svn-id: svn://tug.org/texlive/trunk@19538 c570f23f-e606-0410-a88d-b1316a301751
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}
+