% 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}

