Opened 4 years ago

Closed 4 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 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 

Change History (4)

comment:1 Changed 4 years ago by kohlhase

  • Description modified (diff)

comment:2 Changed 4 years ago by kohlhase

  • Status changed from new to assigned

comment:3 Changed 4 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 4 years ago by kohlhase

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

done.

Note: See TracTickets for help on using tickets.