PreTeXt: An authoring and publishing system for scholarly documents
3 points by gjvc 3 weeks ago | 1 comment- gjvc 3 weeks agosee also https://pretextbook.org/ where it says (Before June 2017, PreTeXt was called “MathBook XML”, so many of those references remain.)