-
Notifications
You must be signed in to change notification settings - Fork 14
Insights: leanprover/verso
Overview
-
0 Active issues
-
- 6 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
6 Pull requests merged by 1 person
-
chore: bump SubVerso for bugfix
#282 merged
Jan 31, 2025 -
fix: allow multi-arg roles when generating string previews
#281 merged
Jan 31, 2025 -
fix: don't show _root_ in code hovers when not needed
#280 merged
Jan 31, 2025 -
feat: automatically track open-source libraries for web frontend
#279 merged
Jan 31, 2025 -
fix: Set toc-backdrop z-index to 9, restore toc to 10
#278 merged
Jan 30, 2025 -
feat: allow manual genre to add custom elements to HTML <head>
#267 merged
Jan 30, 2025