CTAN web interface: Directory listing for /macros/latex/contrib/stex

CTAN directory: /macros/latex/contrib/stex

Note: you requested the material at a path /macros/latex/contrib/stex/statements/statements.pdf that doesn't exist. This is the closest directory.

You can get the contents of this directory bundled as a zip file.

Packages in this directory:

Identifier	Caption
stex	An Infrastructure for Semantic Preloading of LaTeX Documents.

Subdirectories

Name	Notes
bin/
example/
make/
schema/
sty/
xsl/

Files

Name	Size^*	Date UTC	Notes
Makefile	2 KiB	2012-Jan-28
README	1 KiB	2012-Jan-28	Shown below

^*File sizes in kibibytes.

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

See http://trac.kwarc.info/sTeX for the project homepage, the development version of this
package can be found at https://svn.kwarc.info/repos/stex/trunk. If you are using SVN, it
is useful to include selected subdirectories of this as SVN externals.