notes-on-realizability icon indicating copy to clipboard operation
notes-on-realizability copied to clipboard
verified publisher icon andrejbauer

Update kaobook

Open ncfavier opened this issue 10 months ago • 0 comments

Fixes https://github.com/andrejbauer/notes-on-realizability/issues/18

This just pulls the files from the current master branch of kaobook, https://github.com/fmarotta/kaobook/commit/23dbe706534aba4b1a6e8b07a6fd364cde5c9307, which includes the fix for https://github.com/fmarotta/kaobook/issues/155. The latest release of kaobook is from June 2021 and doesn't include the fix.

Also fixes a duplicate section label.

ncfavier avatar Mar 06 '25 13:03 ncfavier