blob: 518540f8bca9faa6588ccf2836f6d11329b4fab1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
%%
%% This is file `stex.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% stex.dtx (with options: `package')
%%
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{stex}[2006/01/13 v0.9a Semantic Markup]
\def\stex{{\raisebox{-.5ex}S\kern-.5ex\TeX}}
\def\sTeX{\stex}
\usepackage{modules}
\usepackage{statements}
\usepackage{sproof}
\usepackage{omdoc}
\usepackage{presentation}
\endinput
%%
%% End of file `stex.sty'.
|