blob: 5f353c1bba409e97cf1a131b480b777dda50c007 (
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}}
\DeclareOption{showmeta}{\PassOptionsToPackage{\CurrentOption}{omd}}
\ProcessOptions
% now we require the respective packages.
\RequirePackage{stex-logo}
\RequirePackage{modules}
\RequirePackage{statements}
\RequirePackage{sproof}
\RequirePackage{omdoc}
\RequirePackage{presentation}
\RequirePackage{dcm}
|