CTAN has a new package: sTeX

[CTAN Announcements]

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