Opened 6 years ago

Closed 6 years ago

#1612 closed task (fixed)

get sTeX into MiKTeX

Reported by: kohlhase Owned by: kohlhase
Priority: high Milestone: sTeX 1.0 release
Component: General Version: trunk
Severity: major Keywords:
Cc: ako, deyan Blocked By:
Blocking: Dependencies:
Due to assign: YYYY/MM/DD Due to close: YYYY/MM/DD
Include in GanttChart: no

Description (last modified by kohlhase)

Apparently sTeX is not in the MiKTeX package directory (see 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 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 

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:
Jacobs University Bremen 

Change History (4)

comment:1 Changed 6 years ago by kohlhase

  • Description modified (diff)

comment:2 Changed 6 years ago by kohlhase

  • Status changed from new to assigned

comment:3 Changed 6 years ago by kohlhase

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

comment:4 Changed 6 years ago by kohlhase

  • Resolution set to fixed
  • Status changed from assigned to closed


Note: See TracTickets for help on using tickets.