CTAN Comprehensive TeX Archive Network

CTAN update: s

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

s – An Infrastructure for Semantic Preloading of Documents

The s package collection is a version of / that allows to markup / documents semantically without leaving the document format, essentially turning it into a document format for mathematical knowledge management (MKM).

Copyright2009–2022 Michael Kohlhase
MaintainerMichael Kohlhase
Dennis Müller



Guest Book Sitemap Contact Contact Author