CTAN
Comprehensive TeX Archive Network

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

README
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
(MKM).

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.


Direc­to­ries

Name Notes
bin
ex­am­ple
lib
sty

Files

Name Size Date Notes
README 920 2016-04-07 15:18

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 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
Ver­sion 2016-04-07
Li­censeThe LaTeX 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