summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/latex/stex/stex.sty
blob: 1e0dfee38aad3a391c3d17e327f5cd53ddb527b9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
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}