.hgtags@6b0db7251ebe
.hgtags
Fri, 14 Feb 2025 23:46:43 -0500
- author
- Tuomo Valkonen <tuomov@iki.fi>
- date
- Fri, 14 Feb 2025 23:46:43 -0500
- branch
- dev
- changeset 49
- 6b0db7251ebe
- parent 15
-
0194715c1ad6
- child 55
-
19e2140ba458
- permissions
- -rw-r--r--
Some documentation and factor changes related to ℓ_F and ℓ_r.
Also allow Zed to re-indent the modified files.
b71edfd403aaf3045011769ce14775bfff94c4f5 v1.0.0-pre-arxiv
12cee797937ff49574f95c766dc0b56395ed9f4f v1.0.0