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.