Commit 262cb83d authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

two new posts

parent 2a19536a
Pipeline #4408 passed with stage
in 2 minutes and 6 seconds
---
layout: post
author: mkohlhase
title: "sTeX3 Release on CTAN"
tags:
- Announcements
---
[sTeX3](https://github.com/slatex/stex) is a complete rewrite of sTeX - An infrastructure
for semantic preloading of LaTeX documents - in the LaTeX3 framework. It has just been
released to [CTAN](https://ctan.org) the Comprehensive TeX Archive Network, and will be
part of [TeXLive 2022](https://www.tug.org/texlive/) due out in April.
After almost 15 years, sTeX needed a complete makeover to regularize syntax, weed out
unused and deprecated features, and synchronize it better with the
[MMT](https://uniformal.github.io) system and functionality.
Compared to sTeX1, the new implementation does away with the need for external systems in
the PDF workflow, allows to add sTeX functionality to arbitrary document classes, and
completely reworks the XML-based content generation. Instead of using a
[LaTeXML](https://math.nist.gov/~BMiller/LaTeXML/) fork we use
[RusTeX](https://github.com/slatex/RusTeX/) a new TeX engine that directly interprets the
sTeX3 packages and generates semantically annotated XHTML5 which can then be harvested by
[MMT](https://uniformal.github.io) for further knowledge management services.
Further development of the sTeX ecosystem (the packages, an IDE, RusTeX, ...) will
continue on [sLaTeX group on GitHub](https://githhub.com/sLaTeX).
---
layout: post
author: mkohlhase
title: "MMT Release 22"
tags:
- Announcements
---
After almost 18 months of development, [MMT](https://uniformal.github.io) - the flagship
system of the KWARC group - has been released in [version
22](https://github.com/UniFormal/MMT/releases/tag/v22.0.0).
The long development time of this release has been a consequence of the growing
inter-dependency of the system-near library and the system code, which led to serious
maintenance problems in the past. Another problem was that a lot of dead code had
accumulated over the last decade.
These problems have been addressed in version 22 (see the [release
notes](https://github.com/UniFormal/MMT/releases/tag/v22.0.0) for details) and we hope
that MMT can now serve as a much more stable basis for mathematical knowledge management
and we can return to a faster release cycle for the future.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment