CTAN has a new package: sTeX
Date: May 10, 2008 5:56:57 PM CEST
On Wed, 7 May 2008 Michael Kohlhase submitted the
stex
package to CTAN.
Location on CTAN: /macros/latex/contrib/stex
Summary description: sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents
License type: lppl
Announcement text: No
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).
This package is located at http://mirror.ctan.org/macros/latex/contrib/stex . More information is at http://tug.ctan.org/info/?id=stex (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html . _______________________________________________ Thanks for the upload. For the CTAN Team Rainer Schöpf
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).
This package is located at http://mirror.ctan.org/macros/latex/contrib/stex . More information is at http://tug.ctan.org/info/?id=stex (if the package is new it may take a day for that information to appear). We are supported by the TeX Users Group http://www.tug.org . Please join a users group; see http://www.tug.org/usergroups.html . _______________________________________________ Thanks for the upload. For the CTAN Team Rainer Schöpf
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 |