-
Notifications
You must be signed in to change notification settings - Fork 63
Pull requests: leanprover/doc-gen4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
fix: iframe can read
about:blank whose readyState is also complete, regression #312
#384
opened Apr 20, 2026 by
yhx-12243
Loading…
feat: save Format to db instead of rendered text
#367
opened Mar 3, 2026 by
david-christiansen
Contributor
Loading…
feat: sublibrary for adding supplement pages and sections
#340
opened Jan 5, 2026 by
Vierkantor
Contributor
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-03-28.