CTAN Comprehensive TeX Archive Network

CTAN update: s

Date: September 15, 2022 9:20:33 PM CEST
Dennis Müller submitted an update to the sTeX package. Version: 3.2.0 2022-09-14 License: lppl Summary description: An Infrastructure for Semantic Preloading of LaTeX Documents Announcement text:
- Various bug fixes - Overhaul of inter-document references (\sref) - Significant improvements around the mathstructure environment - extended documentation - first variant of MathML-intent in HTML output (via RusTeX) Co-released with the corresponding sTeX-Extension for VSCode (available in the VSCode Marketplace and here: https://github.com/slatex/sTeX-IDE) and MMT version 23 (coming soon at https://github.com/UniFormal/MMT)
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).

Version3.4.0 2023-10-13
Copyright2009–2022 Michael Kohlhase
MaintainerMichael Kohlhase
Dennis Müller



Guest Book Sitemap Contact Contact Author