Comprehensive TeX Archive Network

Direc­tory tex-archive/macros/latex/contrib/stex

sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents

This directory contains the sTeX package collection, 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

Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)

See http://trac.kwarc.info/sTeX for the project homepage, the development version of this
package can be found at https://svn.kwarc.info/repos/stex/trunk. If you are using SVN, it
is useful to include selected subdirectories of this as SVN externals. 


Name Notes


Name Size Date Notes
Make­file 2386 2012-01-28 12:38
README 703 2012-01-28 12:38

Down­load the con­tents of this pack­age in one zip archive (7.7M).

stex – An In­fras­truc­ture for Se­man­tic Preload­ing of LaTeX Doc­u­ments

The sTeX pack­age col­lec­tion is a ver­sion of TeX/LaTeX that al­lows to markup TeX/LaTeX doc­u­ments se­man­ti­cally with­out leav­ing the doc­u­ment for­mat, es­sen­tially turn­ing it into a doc­u­ment for­mat for math­e­mat­i­cal knowl­edge man­age­ment (MKM).

Pack­age De­tailsstex
Home pagehttps://github.com/KWARC/sTeX
Li­censeThe LaTeX Project Public Li­cense
Main­tainerMichael Kohlhase
TDS archivestex.tds.zip
Con­tained inTeX Live as stex
MiKTeX as stex
Topics struc­tured markup
Guest Book Sitemap Contact Contact Author