| changeset 13127 | 1865e8004fd8 |
| parent 13109 | 39bcf279f518 |
| child 13210 | 254b3967ac12 |
| 13126:97e83120d6c8 | 13127:1865e8004fd8 |
|---|---|
52 Manchester M13 9PL |
52 Manchester M13 9PL |
53 England |
53 England |
54 |
54 |
55 Cambridge people: |
55 Cambridge people: |
56 Tony Hoare |
56 Tony Hoare |
57 Mike Gordon |
57 Mike Gordon* |
58 Sidi Ehmety |
58 Sidi Ehmety |
59 Frederic Blanqui |
59 Frederic Blanqui* |
60 James Margetson |
60 James Margetson |
61 Robin Milner |
61 Robin Milner* |
62 |
62 |
63 |
63 |
64 (for contributing comments) |
64 (for contributing comments) |
65 |
65 |
66 dr. Stefano Bistarelli* |
66 dr. Stefano Bistarelli* |