Morph MORPH
SIGN IN SIGN UP
dhruvhead / hldoc UNCLAIMED
0 0 0 TeX

COMMITS

master
January 11, 2026
J
Fix typos
Jiangwei Chong committed
f80327e
J
Fix xref
Jiangwei Chong committed
690a5d5
J
Update key state
Jiangwei Chong committed
4935e38
J
Update key state section
Jiangwei Chong committed
5e67e2b
J
Expand on punchangles
Jiangwei Chong committed
4940626
J
Clarify player inputs
Jiangwei Chong committed
2a81fe5
January 10, 2026
J
Add opengraph
Jiangwei Chong committed
c0385b0
J
Add licence footer
Jiangwei Chong committed
33ba145
J
Remove footnote
Jiangwei Chong committed
f2316bf
J
Refine home page
Jiangwei Chong committed
acdcdd1
J
Add section on versioning
Jiangwei Chong committed
1c04f94
January 8, 2026
J
Rephrasing index
Jiangwei Chong committed
99ee402
J
Fix typo
Jiangwei Chong committed
15240e4
December 31, 2025
J
Add some proofs
Jiangwei Chong committed
d4343d2
December 30, 2025
J
Change admonition font size
Jiangwei Chong committed
5f23410
J
Fix colours and spacing
Jiangwei Chong committed
ff914eb
J
Improvements
Jiangwei Chong committed
e1e4894
J
Add proof
Jiangwei Chong committed
4ffbdaa
December 29, 2025
J
Use new theme
Jiangwei Chong committed
0e6b1f1
J
Add sphinx-proof
Jiangwei Chong committed
ffd3f24
J
Merge pull request #20 from Matherunner/fix-ci
Jiangwei Chong committed
e38b36a
J
Remove fix-ci branch
Jiangwei Chong committed
d032b04
J
Fix batch link
Jiangwei Chong committed
ef5c0ec
J
Update CI
Jiangwei Chong committed
579ca1e
J
Add --delete flag
Jiangwei Chong committed
836ab94
J
Add id-token permission
Jiangwei Chong committed
a523882
J
Update CI
Jiangwei Chong committed
7f94038
J
Delete circle ci
Jiangwei Chong committed
7b591ae
J
Fix CI
Jiangwei Chong committed
3c28439
J
Add github action
Jiangwei Chong committed
feb5849