On Wed, 7 May 2008 Michael Kohlhase submitted the

stex

package to CTAN.

Location on CTAN: /macros/latex/contrib/stex Summary description: sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents License type: lppl

Announcement text: No ----------------------------------------------------------------------

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).

----------------------------------------------------------------------

This package is located at http://mirror.ctan.org/macros/latex/contrib/stex . More information is at http://tug.ctan.org/info/?id=stex (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html . _______________________________________________

Thanks for the upload.

For the CTAN Team Rainer Schöpf