CTAN update: sTeX
Date: March 22, 2023 7:45:40 PM CET
Dennis Müller submitted an update to the
sTeX
bundle.
Version: 3.3.0
License: lppl
Summary description: An Infrastructure for Semantic Preloading of LaTeX Documents
Announcement text:
Major refactoring of the code base - The former document-structure package has been merged into the stex package directly - removed \instantiate and \varinstantiate in favor of return attributes in \symdecl, \vardef and \varseq => sequences of instances are now possible - general refactoring for future extensibility and orthogonality of features - MathML intent annotations for HTML possible with \mmlintent and \mmlarg - total rewrite of the documentation; added a proper tutorial for sTeX beginners - co-release with MMT 24.0.0 and the sTeX Extension 1.1.0 for VSCode (to be released within the following hours/day)
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/stex The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/stex/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
Major refactoring of the code base - The former document-structure package has been merged into the stex package directly - removed \instantiate and \varinstantiate in favor of return attributes in \symdecl, \vardef and \varseq => sequences of instances are now possible - general refactoring for future extensibility and orthogonality of features - MathML intent annotations for HTML possible with \mmlintent and \mmlarg - total rewrite of the documentation; added a proper tutorial for sTeX beginners - co-release with MMT 24.0.0 and the sTeX Extension 1.1.0 for VSCode (to be released within the following hours/day)
The package’s Catalogue entry can be viewed at https://ctan.org/pkg/stex The package’s files themselves can be inspected at https://mirrors.ctan.org/macros/latex/contrib/stex/
Thanks for the upload. For the CTAN Team Petra Rübe-Pugliese
CTAN is run entirely by volunteers and supported by TeX user groups. Please join a user group or donate to one, see https://ctan.org/lugs
sTeX – An infrastructure for semantic preloading of LaTeX documents
The sTeX package collection is 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).
| Package | sTeX |
| Version | 3.4.0 2023-10-13 |
| Copyright | 2009–2022 Michael Kohlhase |
| Maintainer | Michael Kohlhase Dennis Müller |