% 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}} \DeclareOption{showmods}{\PassOptionsToPackage{\CurrentOption}{modules}} \ProcessOptions % now we require the respective packages. \RequirePackage{stex-logo} \RequirePackage{modules} \RequirePackage{statements} \RequirePackage{sproof} \RequirePackage{omdoc} \RequirePackage{presentation} \RequirePackage{cmath} \RequirePackage{dcm}