diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/README')
| -rw-r--r-- | Master/texmf-dist/doc/latex/stex/README | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/README b/Master/texmf-dist/doc/latex/stex/README new file mode 100644 index 00000000000..2b48c9e9098 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/README @@ -0,0 +1,12 @@ +stex.sty: 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) + +The development version of this package can be found at +https://svn.kwarc.info/repos/stex/sty/stex/ |