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