diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/stex/presentation/README')
-rw-r--r-- | Master/texmf-dist/doc/latex/stex/presentation/README | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/Master/texmf-dist/doc/latex/stex/presentation/README b/Master/texmf-dist/doc/latex/stex/presentation/README deleted file mode 100644 index 6fd953f20d1..00000000000 --- a/Master/texmf-dist/doc/latex/stex/presentation/README +++ /dev/null @@ -1,16 +0,0 @@ -presentation.sty: An Infrastructure for Presenting Semantic Macros - -This package supplies an infrastructure that allows to specify the presentation of -semantic macros, including preference-based bracket elision. This allows to markup the -functional structure of mathematical formulae without having to lose high-quality -human-oriented presentation in {\LaTeX}. Moreover, the notation definitions can be used by -MKM systems for added-value services, either directly from the {\sTeX} sources, or after -translation. - -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/sty/stex/presentation - |