CTAN directory: /macros/latex/contrib/stex
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
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.
