Ticket #1612 (closed task: fixed)
get sTeX into MiKTeX
|Reported by:||kohlhase||Owned by:||kohlhase|
|Priority:||high||Milestone:||sTeX 1.0 release|
|Cc:||ako, deyan||Blocked By:|
|Blocking:||Due to close:||YYYY/MM/DD|
|Include in GanttChart:||no||Dependencies:|
|Due to assign:||YYYY/MM/DD|
Description (last modified by kohlhase) (diff)
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