PreTeXt's repositories
pretext-cli
Command line interface for quickly creating, authoring, and building PreTeXt documents.
pretext-projects
Data about projects authored and distributed with PreTeXt.
pretext-codespace
A template for creating a PreTeXt project that runs in GitHub Codespaces
Language:JavaScript000