Bourbaki

The pages a person has to read

These 93 pages went to the reader three times and never came back clean. The reader keeps a page like that rather than dropping it, with the faults named in the front matter under flags, so nothing is lost, but nothing has looked at them since either. This is the handover: the list, what is wrong with each one, and where to find it in the pdf.

It is generated and it goes stale the moment one of them is repaired. To rebuild it, look for the pages whose flags carry the phrase the reader writes, never came back clean, and read the rule out of the same line.

What is wrong with them

rulepages
rule statement names still on it65
rule math names still on it23
rule head names still on it3
rule math, statement names still on it2

The rule names are the reader's own checks. statement names is a statement whose name did not come back in the form the assembler looks for, math names is an operator or a function name set as prose rather than as mathematics, and head names is a running head that did not match what the contents has for that page.

Which volumes they are in

volumepages
ac-i-vii32
alg-i-iii29
top-v-x14
alg-i-iii-fr6
hist-fr4
ac-i-iv-fr3
var-fr2
int-ix-fr1
int-vi-fr1
int-vii-viii-fr1

The list

page is the file under pages/<volume>/, pdf is the page of the pdf to open, and label is what the volume prints on the page where it prints one.

ac-i-vii

pagepdflabellinesrule
00121239rule math names still on it
00313145rule math names still on it
018818821rule statement names still on it
019919928rule statement names still on it
020020027rule statement names still on it
021321318rule statement names still on it
021421423rule statement names still on it
021521537rule statement names still on it
021821839rule statement names still on it
022422434rule statement names still on it
023223227rule statement names still on it
024124123rule statement names still on it
024424417rule statement names still on it
029529515rule statement names still on it
029729718rule statement names still on it
034434425rule statement names still on it
034734719rule statement names still on it
034934928rule math, statement names still on it
041041028rule statement names still on it
041641624rule statement names still on it
041741732rule math, statement names still on it
041941919rule statement names still on it
042842811rule math names still on it
043543541rule statement names still on it
043843837rule statement names still on it
044044041rule statement names still on it
044844826rule statement names still on it
044944932rule statement names still on it
045245223rule statement names still on it
045545545rule statement names still on it
049349313rule statement names still on it
049549528rule statement names still on it

alg-i-iii

pagepdflabellinesrule
012812833rule statement names still on it
016216246rule math names still on it
023223225rule statement names still on it
025425451rule statement names still on it
025525550rule statement names still on it
025725743rule statement names still on it
026526521rule statement names still on it
026726738rule statement names still on it
028228248rule math names still on it
029529537rule statement names still on it
030230240rule statement names still on it
031231225rule statement names still on it
032232233rule statement names still on it
032732738rule statement names still on it
034934932rule statement names still on it
037837863rule statement names still on it
039039019rule statement names still on it
039439421rule statement names still on it
040840825rule math names still on it
043943918rule math names still on it
047247219rule statement names still on it
048748743rule math names still on it
049449419rule statement names still on it
049849857rule statement names still on it
051251239rule statement names still on it
053253241rule statement names still on it
054254221rule statement names still on it
060460431rule statement names still on it
060660639rule statement names still on it

top-v-x

pagepdflabellinesrule
00232315rule statement names still on it
00373722rule statement names still on it
015315329rule statement names still on it
017117133rule statement names still on it
017317317rule statement names still on it
017417421rule statement names still on it
017517531rule statement names still on it
018018035rule statement names still on it
020120119rule statement names still on it
020820818rule statement names still on it
021421426rule statement names still on it
029029021rule statement names still on it
030630617rule statement names still on it
031931917rule statement names still on it

alg-i-iii-fr

pagepdflabellinesrule
005050A I.4015rule math names still on it
010010037rule math names still on it
0231231A II.5432rule math names still on it
0289289A II.11224rule math names still on it
0366366A II.18938rule math names still on it
055355333rule head names still on it

hist-fr

pagepdflabellinesrule
0021217rule math names still on it
01831838rule math names still on it
02322325rule math names still on it
02842847rule math names still on it

ac-i-iv-fr

pagepdflabellinesrule
00232331rule head names still on it
015115123rule math names still on it
015415425rule math names still on it

var-fr

pagepdflabellinesrule
01511511rule head names still on it
017017038rule math names still on it

int-ix-fr

pagepdflabellinesrule
00555524rule math names still on it

int-vi-fr

pagepdflabellinesrule
00343411rule math names still on it

int-vii-viii-fr

pagepdflabellinesrule
00555537rule math names still on it