Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
v1.0.9
aaf33f5d
·
Release v1.0.9: Modernize fonts and fix deprecated commands
·
Nov 16, 2025
Release:
1.0.9
Version 1.0.9: Font modernization
Unverified
v1.0.6
e65e6b25
·
v1.0.6 from vol9
·
Sep 26, 2019
v1.0.4
f90edd28
·
Work around amsmath.sty bug
·
Feb 05, 2018