get sTeX into MiKTeX

[kohlhase]

Apparently sTeX is not in the MiKTeX package directory (see  http://www.miktex.org/pkg/). This means that there is no good way to install it on Windows (Andrea can sing a song to that tune).

I am not sure how the packaging of MiKTeX works or now packages are selected, so I have written a letter to the maintainer via  http://www.miktex.org/email. As there is no trace (yet) of the letter I will document it here.

Dear Christian Schenk, 

I am the author of the sTeX package (set). 
sTeX is a semantic version of (La)TeX that can be converted 
to semantic XML formats like OMDoc (Open Mathematical Documents). 
For details see http://trac.kwarc.info/sTeX. 

It seems that sTeX is not part of the MiKTeX package library; 
possibly because of packaging problems (I have had to solve 
analogous ones for getting the newest version into TeXLive2010). 

What is the best way to proceed here? 

Michael Kohlhase: http://kwarc.info/kohlhase
Jacobs University Bremen 

[kohlhase]

Christian Schenk just notified that sTeX is in MikTeX. I will have to verify that before I close this ticket.

[kohlhase]

done.