6 ms·
That seems to refer to the last release, but the GitHub commit history seems active, if not quite high velocity: https://github.com/tectonic-typesetting/tecton
by dochtman 7y ago
That seems to refer to the last release, but the GitHub commit history seems active, if not quite high velocity:
https://github.com/tectonic-typesetting/tectonic/graphs/commit-activity https://github.com/tectonic-typesetting/tectonic/graphs/comm...