-
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…
Added support for specifying max heartbeats via an env. variable or a CLI argument
#336
opened Dec 7, 2025 by
NicolasRouquette
Contributor
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.