diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/README')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/README | 13 |
1 files changed, 13 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..ada6fff6096 --- /dev/null +++ b/Master/texmf-dist/doc/latex/stex/README @@ -0,0 +1,13 @@ +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. |