From 740a11f29a3551babe3d7edbb57ac3baa2280a3f Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Sat, 26 Feb 2022 03:00:34 +0000 Subject: CTAN sync 202202260300 --- macros/latex/contrib/stex/sty/presentation/README | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100644 macros/latex/contrib/stex/sty/presentation/README (limited to 'macros/latex/contrib/stex/sty/presentation/README') diff --git a/macros/latex/contrib/stex/sty/presentation/README b/macros/latex/contrib/stex/sty/presentation/README deleted file mode 100644 index a5afc3a06c..0000000000 --- a/macros/latex/contrib/stex/sty/presentation/README +++ /dev/null @@ -1,14 +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) - -Project home: https://github.com/KWARC/sTeX/ - -- cgit v1.2.3