# \[ANN\] Forester 4.2

**URL:** https://discuss.ocaml.org/t/ann-forester-4-2/15043
**Category:** Community
**Tags:** announce
**Created:** [July 29, 2024, 8:59am UTC](https://discuss.ocaml.org/t/ann-forester-4-2/15043 "2024-07-29T08:59:10Z")
**Posts on this page:** 3
**Page:** 1

<div class="post-metadata">

### Author: ![jonsterling](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/jonsterling/32/4430_2.png) [@jonsterling](https://discuss.ocaml.org/u/jonsterling)
#### Post date: [July 29, 2024, 8:59am UTC](https://discuss.ocaml.org/t/ann-forester-4-2/15043/1 "2024-07-29T08:59:10Z")

</div>

I am pleased to announce the release of Forester 4.2 on opam, which is an OCaml utility to develop “Forests”, which are densely interlinked mathematical websites / Zettelkästen similar to the [Stacks project](https://stacks.math.columbia.edu) or [Kerodon](https://kerodon.net). You can see the [changelog](https://www.jonmsterling.com/jms-00WK.xml) on my own [Forest](https://www.jonmsterling.com).

This release adds many new features and improvements, including:

- First-class functions and lazy arguments, which can be used to implement more ergonomic MathML macros
- A new query language, which is now expressive enough to encode the backmatter
- Improved performance of graph analysis (2x overall speedup rendering my own forest)

To see other features and documentation of breaking changes, please view the [Forester 4.2 Release Notes](http://www.jonmsterling.com/jms-00WK.xml).

My thanks to @kentookura and Jinser Kafka for their contributions to this release.

---

<div class="post-metadata">

### Author: ![yawaramin](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/yawaramin/32/3384_2.png) [@yawaramin](https://discuss.ocaml.org/u/yawaramin)
#### Post date: [August 15, 2025, 10:00pm UTC](https://discuss.ocaml.org/t/ann-forester-4-2/15043/2 "2025-08-15T22:00:36Z")

</div>

Sorry to resurrect an old thread, but you might want to keep an eye on this: [Should we remove XSLT from the web platform? - whatwg/html - GitHub](https://github.com/whatwg/html/issues/11523)

---

<div class="post-metadata">

### Author: ![jonsterling](https://sea2.discourse-cdn.com/flex020/user_avatar/discuss.ocaml.org/jonsterling/32/4430_2.png) [@jonsterling](https://discuss.ocaml.org/u/jonsterling)
#### Post date: [August 15, 2025, 10:32pm UTC](https://discuss.ocaml.org/t/ann-forester-4-2/15043/3 "2025-08-15T22:32:22Z")

</div>

Thanks! I saw this too and I am furious but not surprised. I predicted these vultures would make such a move, and have been thinking about how we can avoid reliance on clientside xslt. I think Forester 6 may have to emit html directly, but I want to do so in a way that does not lose many of the useful aspects of our current approach.

We have got to find a way to wrest the beloved Web from these vicious, vicious people who understand so little about the Web that they have become stewards of. Most of these guys aren’t even aware that people still use RSS… it is very telling.
