diff options
Diffstat (limited to 'Master/texmf-dist/tex/latex/stex/stex.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/stex/stex.sty | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/Master/texmf-dist/tex/latex/stex/stex.sty b/Master/texmf-dist/tex/latex/stex/stex.sty deleted file mode 100644 index 5f353c1bba4..00000000000 --- a/Master/texmf-dist/tex/latex/stex/stex.sty +++ /dev/null @@ -1,22 +0,0 @@ -% 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} - |