Anil Madhavapeddy 0cf684d329 fix higher indices (labels cause pages to shift, so 2 makeindexes) 4 months ago
..
css a1c4e58d6a update bio and refresh author info for 2nd ed w/ cup 1 year ago
images 62307e8d44 update images to CUP proofs 4 months ago
js fb9f8cbe7f actually fix html toplevel syntax highlighting 3 years ago
pdf 4e1ac28d77 move static pdf 5 years ago
scss bd16bd5f12 move book scss over to static 5 years ago
theme 74dc1c62ee move theme over to static 5 years ago
CNAME 2d106418b9 gha: fix deploy and speed up without pdf 1 year ago
dune 0cf684d329 fix higher indices (labels cause pages to shift, so 2 makeindexes) 4 months ago
dune.inc 8962b8065e promotion 11 months ago