Skip to content

feat: sublibrary for adding supplement pages and sections#340

Open
Vierkantor wants to merge 1 commit into
leanprover:mainfrom
Vierkantor:subDocGen
Open

feat: sublibrary for adding supplement pages and sections#340
Vierkantor wants to merge 1 commit into
leanprover:mainfrom
Vierkantor:subDocGen

feat: sublibrary for adding supplement pages and sections

63468c8
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.