Anil Madhavapeddy 0cf684d329 fix higher indices (labels cause pages to shift, so 2 makeindexes) 4 months ago
..
css 9687f9ecf8 Generate WIP versions of the website and PDF 2 years ago
images d8e86e38e1 trim out the associativity image, no longer used 5 months ago
js 9687f9ecf8 Generate WIP versions of the website and PDF 2 years ago
theme 9687f9ecf8 Generate WIP versions of the website and PDF 2 years ago
dune 0cf684d329 fix higher indices (labels cause pages to shift, so 2 makeindexes) 4 months ago
dune.inc f34196ad92 Merge branch 'master' into p3edits 1 year ago