Index of /macros/latex2e/contrib/stex
      Name                    Last modified       Size  Description

[DIR] Parent Directory 22-Aug-2019 00:17 - [DIR] bin/ 21-Mar-2019 06:59 - [DIR] example/ 21-Mar-2019 06:59 - [DIR] lib/ 21-Mar-2019 06:20 - [DIR] sty/ 21-Mar-2019 06:20 -

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.