CTAN update: sTeX
Date: May 25, 2022 8:29:37 PM CEST
Dennis Müller submitted an update to the
sTeX
package.
Version number: 3.1.0 2022-05-24
License type: lppl
Summary description: An Infrastructure for Semantic Preloading of LaTeX Documents
Announcement text:
sTeX - An Infrastructure for Semantic Preloading of LaTeX Documents - Various bug fixes - Improved handling of structural representation features (mathstructure, copymodule, realization) - Improved xhtml annotations, better MMT integration - extended documentation - persistence mode exports all externally included module content into a .sms file for self-contained documents
This package is located at https://mirrors.ctan.org/macros/latex/contrib/stex More information is at https://www.ctan.org/pkg/stex
Thanks for the upload. For the CTAN Team Manfred Lotz 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 - Various bug fixes - Improved handling of structural representation features (mathstructure, copymodule, realization) - Improved xhtml annotations, better MMT integration - extended documentation - persistence mode exports all externally included module content into a .sms file for self-contained documents
This package is located at https://mirrors.ctan.org/macros/latex/contrib/stex More information is at https://www.ctan.org/pkg/stex
Thanks for the upload. For the CTAN Team Manfred Lotz 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 |