diff options
Diffstat (limited to 'macros/latex/contrib/stex/README')
-rw-r--r-- | macros/latex/contrib/stex/README | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/macros/latex/contrib/stex/README b/macros/latex/contrib/stex/README deleted file mode 100644 index 8e312a4a2e..0000000000 --- a/macros/latex/contrib/stex/README +++ /dev/null @@ -1,22 +0,0 @@ -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. - - |