stex.sty: An Infrastructure for Semantic Preloading of LaTeX Documents

This directory contains the sTeX package collection, a version of TeX/LaTeX that allows
to markup TeX/LaTeX documents semantically without leaving the document format,
essentially turning it into a document format for mathematical knowledge management
(MKM).

Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)

The development version of this package can be found at
https://svn.kwarc.info/repos/stex/sty/stex/