CTAN Comprehensive TeX Archive Network

Directory 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.


Download the contents of this package in one zip archive (7.5M).

s – An Infrastructure for Semantic Preloading of Documents

The s package collection is a version of / that allows to markup / documents semantically without leaving the document format, essentially turning it into a document format for mathematical knowledge management (MKM).

PackagesTeX
Home pagehttps://github.com/KWARC/sTeX
Bug trackerhttps://github.com/KWARC/sTeX/issues
Announcementshttps://lists.informatik.uni-erlangen.de/mailman/listinfo/stex
Repositoryhttps://github.com/KWARC/sTeX
Developershttps://lists.informatik.uni-erlangen.de/mailman/listinfo/stex
Version 2019-03-19
LicensesThe Project Public License
Copyright2009–2016 Michael Kohlhase
MaintainerMichael Kohlhase
TDS archivestex.tds.zip
Contained inTeX Live as stex
MiKTeX as stex
TopicsFormat
Struc mkup
...
Guest Book Sitemap Contact Contact Author