CTAN Comprehensive TeX Archive Network

CTAN update: s

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 .

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