Comprehensive TeX Archive Network

Direc­tory 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) 2016 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)

See http://github.com/KWARC/sTeX for the project homepage and code repository.

This directory organizes the sTeX packages into the following categories

core:        the core sTeX packages
etc:         packages and their LaTeXML bindings that are useful in the sTeX
	     context and not supplied otherwise.
experiments: experimental packages, 
obsolete:    obsolete stuff, kept for backwards compatibility
make: 	     The makefile includes for administrating sTeX.

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

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

The s pack­age col­lec­tion is a ver­sion of / that al­lows to markup / 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).

Ver­sion 2016-04-07
Li­cense The Project Public Li­cense
Copy­right2009–2016 Michael Kohlhase
Main­tainerMichael Kohlhase
TDS archivestex.tds.zip
Con­tained inTeX Live as stex
MiKTeX as stex
Topics macros to build a for­mat
struc­tured markup
Guest Book Sitemap Contact Contact Author