equal
deleted
inserted
replaced
10 |
10 |
11 Ott-tool -> Ott tool (throughout) |
11 Ott-tool -> Ott tool (throughout) |
12 |
12 |
13 I didn't quite get top of second column, p. 6 |
13 I didn't quite get top of second column, p. 6 |
14 |
14 |
15 "the problem Pottier and Cheney pointed out": I had forgotten it in the |
|
16 meantime |
|
17 |
|
18 the equation in the first actuall bullet on p. 8 lacks it =? |
15 the equation in the first actuall bullet on p. 8 lacks it =? |
19 |
16 |
20 missing v. spaces, top of 2nd col p. 8 |
17 missing v. spaces, top of 2nd col p. 8 |