The TeX Catalogue Online

stex

An Infrastructure for Semantic Preloading of LaTeX Documents.

The sTeX package collection is 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).

The author is Michael Kohlhase. The package is Copyright © 2008 Michael Kohlhase.

License: lppl Version: 0.9a Catalogued: 2008-08-23